tchajed/coq-tricks Issues
Trick suggestion
UpdatedTest against multiple Coq versions
Updated 1Mention small inversions
Closed 2convoy pattern
UpdatedIntroduce categories for tricks?
Closed 3info_trivial has been fixed?
Closed 1Arguments
Closed 3