Matafou / LibHyps

A Coq library providing tactics to deal with hypothesis
20Updated 11 months ago

Related projects

Alternatives and complementary repositories for LibHyps