Identify the relevant steps in Euclid's proof with axioms, postulates, or propositions

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

Closed Mttbnchtt closed 11 months ago

Mttbnchtt commented 11 months ago

For example, step 1 ought to coincides with postulate 2.

Mttbnchtt commented 11 months ago

Completed.