ltac2-tutorial

Ltac2 tutorial

GitHub

39 stars
8 watching
3 forks
Language: Coq
last commit: almost 2 years ago
coqltac2