Automatic Textbook Formalization

(github.com)

17 points | by tzury 2 hours ago ago

6 comments