The following pages link to (Q4471938):
Displayed 8 items.
- OMDoc (Q19193) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Checking content consistency of integrated web documents (Q2508393) (← links)
- Web Interfaces for Proof Assistants (Q2867935) (← links)
- PlatΩ: 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)