EUCLID

MaRDI QIDQ5974538swMATHFDO

Official website https://www.jstor.org/stable/43999251

Cited in

(3)

• ArgoCLP
• URSA
• A coherent logic based geometry theorem prover capable of producing formal and readable proofs

This page was built for software: EUCLID