Pages that link to "Item:Q3094177"
From MaRDI portal
The following pages link to Type classes for mathematics in type theory (Q3094177):
Displaying 12 items.
- A formal C memory model for separation logic (Q1694027) (← links)
- Formalization of universal algebra in Agda (Q2333322) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- ROSCoq: Robots Powered by Constructive Reals (Q2945622) (← links)
- Refinement to Certify Abstract Interpretations, Illustrated on Linearization for Polyhedra (Q2945626) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Reasoning About Algebraic Structures with Implicit Carriers in Isabelle/HOL (Q5049005) (← links)
- Synthetic topology in Homotopy Type Theory for probabilistic programming (Q5055499) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- (Q5875423) (← links)
