Whelp

swMATH32446MaRDI QIDQ44157FDOQ44157

Author name not available (Why is that?)

Described by source

• Types for Proofs and Programs

Cited In (13)

• User interaction with the Matita proof assistant
• Classification of alignments between concepts of formal mathematical systems
• A survey on retrieval of mathematical knowledge
• Web interfaces for proof assistants
• Crystal: Integrating structured queries into a tactic language
• The Matita Interactive Theorem Prover
• 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
• A User Interface for a Mathematical System that Allows Ambiguous Formulae
• Integrating searching and authoring in Mizar
• An Interactive Driver for Goal-directed Proof Strategies

This page was built for software: Whelp