Formal Conjectures

https://github.com/google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean using mathlib, serving as a benchmark...

Tokens:36,398
Snippets:598
Trust Score:7.9
License:Apache-2.0
Update:1 month ago
Tokens:
Raw