The following pages link to (Q4790651):
Displaying 6 items.
- WebMIaS on Docker. Deploying math-aware search in a single line of code (Q2128818) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Web interfaces for proof assistants (Q2867935) (← links)
- (Q4413896) (← links)
- Interfacing Coq + SSReflect with GAP (Q5170233) (← links)
- Towards an Electronic Geometry Textbook (Q5453481) (← links)