tchajed / coq-ltac2-experiments

All the code I've ever written in Ltac2
11Updated 3 years ago

Related projects

Alternatives and complementary repositories for coq-ltac2-experiments