The following pages link to (Q4471938):
Displaying 10 items.
- OMDoc (Q19193) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Knowledge representation and management in ACTIVEMATH (Q1810908) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Checking content consistency of integrated web documents (Q2508393) (← links)
- Communication protocols for mathematical services based on KQML and OMRS (Q2751535) (← links)
- Web interfaces for proof assistants (Q2867935) (← links)
- \textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems (Q2867939) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)