Sealbook / Open source / Otros

google-deepmind/formal-conjectures

A collection of formalized statements of conjectures in Lean.

formal-mathematicslean4

GitHub ↗Sitio ↗

Licencia y mantenimiento

Apache-2.0 es una licencia permisiva: uso comercial libre con atribución.

Último cambio de código hace 3 días.

Proyectos similares

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