issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
Import description of proposition 5 from book 1
#100
Open
Mttbnchtt
opened
1 day ago