issues
search
Mttbnchtt
/
ontology-and-proofs
Ontological analysis of mathematical proofs
Other
3
stars
1
forks
source link
The output of notebook cells should not be committed
#84
Closed
Mttbnchtt
closed
2 months ago
Mttbnchtt
commented
2 months ago
Completed using .gitattributes and .git/config.
Completed using .gitattributes and .git/config.