The following pages link to Mathematical Knowledge Management (Q5898516):
Displaying 5 items.
- \(\lim +, \delta^+\), and non-permutability of \(\beta\)-steps (Q429596) (← links)
- Herbrand's fundamental theorem in the eyes of Jean van Heijenoort (Q1942097) (← links)
- PlatΩ: A Mediator between Text-Editors and Proof Assistance Systems (Q2867939) (← links)
- Formal Proof: Reconciling Correctness and Understanding (Q3637280) (← links)
- Authoring Verified Documents by Interactive Proof Construction and Verification in Text-Editors (Q5505520) (← links)
