describe goal of proofs - Githubissues

Mttbnchtt / ontology-and-proofs

Ontological analysis of mathematical proofs

Other

3 stars 1 forks source link

describe goal of proofs #85

Open Mttbnchtt opened 2 months ago

Mttbnchtt commented 2 months ago

Add reification statements. Add references to concepts and other items.