Cool Link
GitHub - facebookresearch/repoprover: Research code base for Automatic Textbook Formalization · GitHub
—
github.com
Discuss
Original
Share
Sign In
👤
github.com/facebookresearch/repoprover