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