StructTact

Coq utility and tactic library.

GitHub

21 stars
31 watching
8 forks
Language: Coq
last commit: 10 months ago
coqcoq-librarytactics