Automatic Textbook Formalization

via github.com

Short excerpt below. Read at the original source.

Article URL: https://github.com/facebookresearch/repoprover Comments URL: https://news.ycombinator.com/item?id=47631648 Points: 5 # Comments: 1

Read at Source