google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

Lean972 stars286 forksApache-2.0

formal-mathematicslean4

Rankings

Daily

#4338

Weekly

#4251

Monthly

#3649

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/google-deepmind/formal-conjectures.svg)

HTML

<img src="https://trending-repos.com/badge/google-deepmind/formal-conjectures.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/google-deepmind/formal-conjectures.svg