LibHyps
MITRocq Prover5.0.0
A Coq library providing tactics and tacticals for hypothesis manipulation during proofs.
23 stars3 forks0 contributors
Overview
A Coq library providing tactics to deal with hypothesis
Related Projects
Interaction TreesA Library for Representing Recursive and Impure Programs in Coq
Stars252
Forks60
Last commit23 days ago
coq-haskellA library for formalizing Haskell types and functions in Coq
Stars172
Forks11
Last commit2 years ago
Formalised Undecidable ProblemsA library of mechanised undecidability proofs in the Coq proof assistant.
Stars138
Forks36
Last commit10 days ago
ExtLibA library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Stars137
Forks53
Last commit2 months ago
Community-curated · Updated weekly · 100% open source
Found a gem we're missing?
Open-Awesome is built by the community, for the community. Submit a project, suggest an awesome list, or help improve the catalog on GitHub.