The following pages link to (Q4471938):
Displayed 5 items.
- OMDoc (Q19193) (← links)
- Innovations in computational type theory using Nuprl (Q865639) (← links)
- Student proof exercises using MathsTiles and Isabelle/HOL in an intelligent book (Q2462639) (← links)
- Checking content consistency of integrated web documents (Q2508393) (← links)
- MBase: Representing knowledge and context for the integration of mathematical software systems (Q5950933) (← links)