Sign inSign up

google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

LeanStars 728Forks 147Watchers 728Open issues 602License Apache License 2.0
Details
仓库信息
Ownergoogle-deepmind
Homepagehttps://google-deepmind.github.io/formal-conjectures/
GitHubhttps://github.com/google-deepmind/formal-conjectures
Last pushed2025-12-13
Last updated2025-12-14
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--