The following pages link to (Q2739733):
Displaying 6 items.
- A proof-centric approach to mathematical assistants (Q865648) (← links)
- Mechanised modal model theory (Q2096473) (← links)
- Non-standard analysis in dynamic geometry (Q2334581) (← links)
- Exploring the Foundations of Discrete Analytical Geometry in Isabelle/HOL (Q3102733) (← links)
- Computational logic: its origins and applications (Q4559535) (← links)
- What is a proof? (Q5301851) (← links)
