The following pages link to Mathematical Knowledge Management (Q5313072):
Displaying 10 items.
- Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega (Q841687) (← links)
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- A compact kernel for the calculus of inductive constructions (Q1040007) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Designing mathematical libraries based on minimal requirements for theorems (Q2767927) (← links)
- Toward sharing libraries of mathematics between theorem provers (Q2782486) (← links)
- Reduction and conversion strategies for the calculus of (co)inductive constructions. I (Q2866803) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
- Mtac: A monad for typed tactic programming in Coq (Q5371944) (← links)