A Lean formalisation of Maryna Viazovska's Fields Medal-winning solution to the sphere packing problem in dimension 8.
☆82Mar 27, 2026Updated this week
Alternatives and similar repositories for Sphere-Packing-Lean
Users that are interested in Sphere-Packing-Lean are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆14Feb 26, 2026Updated last month
- Exceptions to the ABC conjecture in Lean☆20Jan 26, 2026Updated 2 months ago
- Construction of a Brownian Motion in Lean☆45Mar 19, 2026Updated last week
- SorryDB indexes sorries in public lean repositories☆45Mar 19, 2026Updated last week
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- A formalized proof of Carleson's theorem in Lean☆87Mar 18, 2026Updated last week
- A formalization of PCF theory in lean☆12Apr 5, 2025Updated 11 months ago
- Combinatorial game library in Lean 4☆56Updated this week
- Canonical is a performant sound and complete type inhabitation solver for dependent type theory.☆89Updated this week
- A project to digitalise results from physics into Lean.☆521Mar 21, 2026Updated last week
- A blueprint for a formalization of infinity-cosmos theory in Lean.☆92Updated this week
- A formalization of ML kernel languages☆47Updated this week
- Drawing commutative diagrams for Typst commute☆27Oct 31, 2023Updated 2 years ago
- https://1000-plus.github.io/☆22Feb 11, 2026Updated last month
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆56Feb 24, 2026Updated last month
- ☆14Dec 12, 2023Updated 2 years ago
- ☆48Mar 13, 2026Updated 2 weeks ago
- LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines …☆84Mar 17, 2026Updated last week
- Minimal open-source implementation of AlphaProof and HyperTree Proof Search.☆77Mar 9, 2026Updated 2 weeks ago
- Lean documentation authoring tool☆270Updated this week
- Python library for working with graphons☆23Sep 19, 2017Updated 8 years ago
- ☆13May 10, 2025Updated 10 months ago
- Course notes for Formalising Mathematics 2026☆98Feb 16, 2026Updated last month
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- A unified neural-symbolic framework for solving plane and solid geometric problems via Parse2Reason & Official repository for the CVPR 20…☆39Mar 14, 2026Updated 2 weeks ago
- guarded interaction trees☆12Jul 4, 2025Updated 8 months ago
- M.C.ドナルドはダンスに夢中なのか？最終鬼畜道化師ドナルド・Ｍ☆10Nov 4, 2022Updated 3 years ago
- ☆45Updated this week
- ☆23Oct 31, 2025Updated 4 months ago
- A Typst suite of customizable environments for notetaking and homework assignments, designed for students in math, CS and physics.☆55Feb 1, 2026Updated last month
- ☆26Jan 28, 2026Updated 2 months ago
- ☆21Dec 3, 2025Updated 3 months ago
- Tableaux for Propositional Dynamic Logic in Lean 4 (WORK IN PROGRESS)☆15Mar 21, 2026Updated last week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- Formalization of "Analysis I" by Terence Tao☆21May 6, 2025Updated 10 months ago
- Lean formalizations of IMO problem statements☆32Oct 23, 2025Updated 5 months ago
- plasTeX plugin to build formalization blueprints.☆317Dec 23, 2025Updated 3 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆194Updated this week
- A python module to facilitate gdb scripting☆10Jan 12, 2023Updated 3 years ago
- Code from the CMU LM inference fall 2025 edition.☆35Dec 7, 2025Updated 3 months ago
- Lean Companion to the Category Theory in Context textbook by Emily Riehl☆30Nov 28, 2025Updated 4 months ago