All Git Users → Matafou

1 open source projects by Matafou

[ Open user page on Github ]

A Coq library providing tactics to deal with hypothesis

✭ 14

Coq shell coq tactics hypothesis tactical formal-proofs

1-1 of 1 user projects