Matafou / LibHyps

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

Related projects

Alternatives and complementary repositories for LibHyps