Pages that link to "Item:Q1404425"
From MaRDI portal
The following pages link to A constructive algebraic hierarchy in Coq. (Q1404425):
Displaying 12 items.
- Mechanizing complemented lattices within Mizar type system (Q286797) (← links)
- Effective homology of bicomplexes, formalized in Coq (Q631755) (← links)
- Organizing numerical theories using axiomatic type classes (Q1774558) (← links)
- Formalization of ring theory in PVS. Isomorphism theorems, principal, prime and maximal ideals, Chinese remainder theorem (Q2069874) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Invariants for the FoCaL language (Q2379680) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- Packaging Mathematical Structures (Q3183538) (← links)
- Finite Groups Representation Theory with Coq (Q3637300) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Semigroups with apartness (Q5396223) (← links)
- Theory of Constructive Semigroups with Apartness – Foundations, Development and Practice (Q5862344) (← links)
