The following pages link to A Vernacular for Coherent Logic (Q5495937):
Displaying 6 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Current Status of the I2GATP Common Format (Q3452280) (← links)
- Automated generation of illustrated proofs in geometry and beyond (Q6185789) (← links)
