01
google-deepmind/formal-conjectures
A collection of formalized statements of conjectures in Lean.
- Stars
- 1.2K
- Forks
- 414
- Pushed
- Unknown
Trending repositories
google-deepmind’s trending work
Repositories from this owner that have appeared in GitHub Trending.