The following pages link to Whelp (Q44157):
Displaying 13 items.
- (Q48151) (redirect page) (← links)
- Recycling proof patterns in Coq: case studies (Q475385) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- Relational data across mathematical libraries (Q2287899) (← 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)
