HaysTac
A pile of Ltac tactics that might contain the needle you're looking for...
4 stars
3 watching
0 forks
Language: Coq
last commit: over 6 years ago HaysTac A pile of Ltac tactics that might contain the needle you're looking for...