issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
add README in tools folder
#20
Closed
Mttbnchtt
closed
2 years ago
Mttbnchtt
commented
2 years ago
Task completed.
Task completed.