samuelgruetter / coq-tricks

Collection of Useful Features of the Coq Proof Assistant

Geek Repo

Github PK Tool