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