LibHyps
by Matafou
A Coq library providing tactics to deal with hypothesis
AI summary
Hypothesis manager
A Coq library providing tactics to manipulate hypotheses in formal proofs.
- stars
- 20
- forks
- 3
- watching
- 3
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Coq simulator
A learning environment for theorem proving with the Coq proof assistant
Proof assistant library
Python bindings for Coq's interactive proof assistant
Category theory formalization
An implementation of category theory in the Coq proof assistant.
Proof platform
A platform that exposes Coq proofs to machine learning algorithms
Coinductive proof library
A Coq library for proving properties about stateful systems through parameterized coinduction
Formal math proofs
A personal repository of formally verified mathematics using the Coq proof assistant
Coq handbook
A collection of notes and resources on formal methods, type theory, and theorem proving using Coq.
Coq utility library
A collection of reusable tools and utilities for working with the Coq proof assistant
Mathematics formalization library
Formalizes mathematics using the univalent point of view
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Tactic library
A Coq library that enables the use of Micromega arithmetic solvers for goals stated with Mathematical Components definitions
Proof finding tactics
A collection of Ltac tactics to help find specific mathematical proofs in Coq
Proof assistant library
A Coq library providing structural tactics and utility definitions to simplify proof development in proof assistants.
Probability library
A Coq-based probability theory library providing results and definitions for discrete probability, measure theory, and probabilistic choice monads.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions LibHyps.
