The following pages link to Types for Proofs and Programs (Q5898170):
Displaying 11 items.
- Whelp (Q44157) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- A survey on retrieval of mathematical knowledge (Q2364882) (← links)
- User interaction with the Matita proof assistant (Q2462635) (← links)
- Integrating searching and authoring in Mizar (Q2462640) (← links)
- Crystal: Integrating structured queries into a tactic language (Q2655333) (← links)
- Web Interfaces for Proof Assistants (Q2867935) (← links)
- A User Interface for a Mathematical System that Allows Ambiguous Formulae (Q5166498) (← links)
- An Interactive Driver for Goal-directed Proof Strategies (Q5166499) (← links)
