The following pages link to Packaging Mathematical Structures (Q3183538):
Displaying 29 items.
- A scalable module system (Q391632) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Structure-preserving diagram operators (Q2237343) (← links)
- Modelling algebraic structures and morphisms in ACL2 (Q2349534) (← links)
- Two-Way Automata in Coq (Q2829256) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Automated Reasoning in Higher-Order Regular Algebra (Q2915136) (← links)
- Computational Complexity Via Finite Types (Q2946764) (← links)
- Formalization of real analysis: a survey of proof assistants and libraries (Q2973239) (← links)
- (Q3046785) (← links)
- Point-Free, Set-Free Concrete Linear Algebra (Q3088000) (← links)
- Formal proofs for theoretical properties of Newton's method (Q3094171) (← links)
- Type classes for mathematics in type theory (Q3094177) (← links)
- A pluralist approach to the formalisation of mathematics (Q3094181) (← links)
- Constructive Formalization of Hybrid Logic with Eventualities (Q3100197) (← links)
- Iris from the ground up: A modular foundation for higher-order concurrent separation logic (Q4625160) (← links)
- Competing Inheritance Paths in Dependent Type Theory: A Case Study in Functional Analysis (Q5048989) (← links)
- Validating Mathematical Structures (Q5048998) (← links)
- Quotients by Idempotent Functions in Cedille (Q5098733) (← links)
- A trustful monad for axiomatic reasoning with probability and nondeterminism (Q5152658) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- Implementation of Bourbaki's Elements of Mathematics in Coq: Part Two, From Natural Numbers to Real Numbers (Q5195277) (← links)
- (Q5195290) (← links)
- View of Computer Algebra Data from Coq (Q5200109) (← links)
- Computer Certified Efficient Exact Reals in Coq (Q5200110) (← links)
- A comprehensible guide to a new unifier for CIC including universe polymorphism and overloading (Q5372007) (← links)
- (Q5856420) (← links)
- Measure construction by extension in dependent type theory with application to integration (Q6050768) (← links)
