tchajed / ltac2-tutorialLinks
Ltac2 tutorial
☆45Updated 2 years ago
Alternatives and similar repositories for ltac2-tutorial
Users that are interested in ltac2-tutorial are comparing it to the libraries listed below
Sorting:
- Library to create Coq record update functions☆48Updated last week
- Yet another plugin tutorial, this time as an exercise for 598☆38Updated 2 years ago
- Collection of scripts to improve the output of coqdoc [maintainers=@chdoc,@palmskog]