swMATH32446MaRDI QIDQ44157FDOQ44157
Author name not available (Why is that?)
Official website: https://link.springer.com/chapter/10.1007/11617990_2
Cited In (22)
- 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
- Web interfaces for proof assistants
- Crystal: Integrating structured queries into a tactic language
- Matita
- C-CoRN
- MML
- QMT
- CtCoq
- CLPGUI
- Mathfind
- Oz Explorer
- APT
- WebMIaS
- 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
