templates for conceptual graph description of book 1

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

Open Mttbnchtt opened 2 weeks ago

Mttbnchtt commented 1 week ago

Done for definitions, postulates, common notions, and propositions 1-5.

Mttbnchtt commented 1 week ago

Do it for the remaining propositions of book 1.