search

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs
Other
3 stars 1 forks source link

add content of proof steps to the three ontologies concerning the isosceles triangle #38

Closed Mttbnchtt closed 11 months ago

Mttbnchtt commented 11 months ago

I revised Aristotle's proof and Pappus' proof. Resume from step 3 in Euclid's proof.

Mttbnchtt commented 11 months ago

Completed.