search

FormalGeo / Datasets

Dataset Annotation Tools and Dataset Release for formal Euclidean plane geometry problems.
MIT License
7 stars 3 forks source link

issues

Newest
Newest Most commented Recently updated Oldest Least commented Least recently updated