Pages that link to "Item:Q5505538"
From MaRDI portal
The following pages link to On Correctness of Mathematical Texts from a Logical and Practical Point of View (Q5505538):
Displaying 7 items.
- Glushkov's evidence algorithm (Q466397) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- The Isabelle/Naproche natural language proof assistant (Q2055899) (← links)
- Beautiful formalizations in Isabelle/Naproche (Q2128789) (← links)
- A Review of Mathematical Knowledge Management (Q3637281) (← links)
- A User-friendly Interface for a Lightweight Verification System (Q5170234) (← links)