coqutil

Coq library for tactics, basic definitions, sets, maps

GitHub

42 stars
12 watching
24 forks
Language: Coq
last commit: about 2 months ago