EUCLID

swMATH44477MaRDI QIDQ5974538FDOQ5974538

Author name not available (Why is that?)

Cited In (1)

• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

This page was built for software: EUCLID