search

gpoesia / peano

An environment for learning formal mathematical reasoning from scratch
MIT License
50 stars 5 forks source link

Sohanvichare/fractions domain #4

Closed sohanvichare closed 5 months ago

sohanvichare commented 2 years ago

Unfinished PR for fractions domain (domain in environment/theories/fractions.p and generator in domains/)