Pages that link to "Item:Q1197385"
From MaRDI portal
The following pages link to Gazing: An approach to the problem of definition and lemma use (Q1197385):
Displaying 5 items.
- Definitional expansions in Mizar. In memoriam of Andrzej Trybulec, a pioneer of computerized formalization (Q286801) (← links)
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- An abstract formalization of correct schemas for program synthesis (Q1583858) (← links)
- TPS: A theorem-proving system for classical type theory (Q1923825) (← links)
- A framework for using knowledge in tableau proofs (Q4610337) (← links)
