Add prefixes to individuals

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

Completed for Aristotle's proof. To complete for Euclid's proof and Pappus' proof.

Mttbnchtt commented 11 months ago

Completed.