Cited in
(23)- Proof assistants: history, ideas and future
- User interaction with the Matita proof assistant
- Classification of alignments between concepts of formal mathematical systems
- Web interfaces for proof assistants
- An Interactive Driver for Goal-directed Proof Strategies
- The Matita interactive theorem prover
- ALCOR
- Matita
- C-CoRN
- MML
- QMT
- Crystal: Integrating structured queries into a tactic language
- CtCoq
- CLPGUI
- Mathfind
- Oz Explorer
- APT
- WebMIaS
- Relational data across mathematical libraries
- A user interface for a mathematical system that allows ambiguous formulae
- Experiences from exporting major proof assistant libraries
- Integrating searching and authoring in Mizar
- Recycling proof patterns in Coq: case studies
This page was built for software: Whelp
