issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
new owl file sqrt2.owl
#6
Closed
Mttbnchtt
closed
3 years ago