The following pages link to (Q3024857):
Displaying 5 items.
- Reconsidering pairs and functions as sets (Q286796) (← links)
- Computer theorem proving in mathematics (Q704001) (← links)
- Explaining Gabriel-Zisman localization to the computer (Q861700) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- ProofScript: Proof Scripting for the Masses (Q3179409) (← links)
