search

gpoesia / minimo

Learning Formal Mathematics from Intrinsic Motivation
MIT License
9 stars 7 forks source link

fix: typo in conjecture outcome during sampling #8

Closed emergenz closed 2 weeks ago

gpoesia commented 2 weeks ago

Thanks!