hierarchy-builder
by math-comp
High level commands to declare a hierarchy based on packed classes
AI summary
Hierarchy builder
Provides high-level commands to declare hierarchical algebraic structures in Coq using packed classes
- stars
- 97
- forks
- 22
- watching
- 18
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Computer builder
An educational project building a formally verified version of the Nand 2 Tetris course using Coq and other formal tools.
Math Library
A comprehensive library of formalized mathematical theories
Math library
A library of abstract interfaces for various mathematical structures to facilitate algebraic manipulation and type class-based reasoning in Coq
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Algebra library
A Coq library providing algebraic data structures and algorithms
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
Compiler formalism
Formalizations of compiler design and virtual machine calculations in Coq
Hierarchy builder
A Ruby library for building hierarchical data models in ActiveRecord
Query builder
A simple and safe Go library for building SQL queries with parameter indexing.
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Proof automation library
A Coq library demonstrating design patterns for automated proof automation and canonical structures
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions hierarchy-builder.
