Sealbook / Open source / Other

google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

formal-mathematicslean4

GitHub ↗Website ↗

License & maintenance

Apache-2.0 is a permissive license: free to use commercially with attribution.

Last code push 3 days ago.

Similar projects

	Repository	Stars	Language	License	Activity
1	996icu/996.ICURepo for counting stars and contributing. Press F to pay respect to glorious developers.	★ 277.2k	—	Other	Stale
2	torvalds/linuxLinux kernel source tree	★ 252.4k	C	Other	Active
3	jackfrued/Python-100-DaysPython - 100天从新手到大师	★ 187.3k	Jupyter Notebook	—	Active
4	airbnb/javascriptJavaScript Style Guide	★ 148.1k	JavaScript	MIT	Slowing
5	iptv-org/iptvCollection of publicly available IPTV channels from all over the world	★ 141.3k	TypeScript	Unlicense	Active
6	ruanyf/weekly科技爱好者周刊，每周五发布	★ 106.4k	—	—	Active
7	deepseek-ai/DeepSeek-V3	★ 104.5k	Python	MIT	Stale
8	Anduin2017/HowToCookProgrammer's guide about how to cook at home.	★ 102.9k	—	Unlicense	Active