Pages that link to "Item:Q2852039"
From MaRDI portal
The following pages link to Ascertaining mathematical theorems (Q2852039):
Displaying 4 items.
- Automated theorem provers: a practical tool for the working mathematician? (Q657585) (← links)
- Automated theory exploration for interactive theorem proving: an introduction to the Hipster system (Q1687709) (← links)
- Hipster: Integrating Theory Exploration in a Proof Assistant (Q5495917) (← links)
- High-Level Theories (Q5505502) (← links)