Rh17S15/doom-emacs-work-conf
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
Files
c9505d7bf8c0f962ad5d2bae2052fd4df05bf2fd
doom-emacs-work-conf/doom-snippets/coq-mode/unset_functional_induction_rewrite_dependent

1 line
108 B
Plaintext
Raw Normal View History

2026-01-29T09:42:46
2026-01-29 09:42:33 +01:00
/home/username/.emacs.d/.local/straight/repos/snippets/coq-mode/unset_functional_induction_rewrite_dependent
Reference in New Issue Copy Permalink