Some tactics to write more readable proofs in Coq
This is a small test inspired by Patrick Massot Lean Verbose.
forked from jnarboux/Coq_verbose
-
Notifications
You must be signed in to change notification settings - Fork 0
Some tactics to write more readable proofs in Coq
License
TBAcikbas/Coq_verbose-1
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
Some tactics to write more readable proofs in Coq
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published
Languages
- Coq 97.1%
- Makefile 2.9%