A Lean formalization of the Classification of Finite Simple Groups
☆132Oct 27, 2026Updated this week
Alternatives and similar repositories for CFSG
Users that are interested in CFSG are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 2 months ago
- Power series arithmetic in Lean☆13Nov 22, 2025Updated 11 months ago
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated 3 weeks ago
- MathEconLib Lean4 project☆33Updated this week
- ☆15Mar 25, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- ☆31Sep 9, 2026Updated last month
- One-sided verification under limited expert review: audited review of solutions and papers (mathematics for now).☆32Updated this week
- Examples of refining software and circuit implementations from their specifications in the style of the Bird-Meertens formalism.☆17Oct 15, 2026Updated 2 weeks ago
- Lean formalizations for the paper "Parity of k-differentials in genus zero and one"☆28Sep 11, 2026Updated last month
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- A Job Board for Formal Verification☆84Updated this week
- Alpacc: Array Language Parallelism-Accelerated Compiler Compiler☆11Jun 11, 2026Updated 4 months ago
- Toy renderer to learn wgpu and computer graphics built with bevy☆11Jul 6, 2026Updated 3 months ago
- Slang shaders for Bevy☆13Feb 18, 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. Zero configuration with optimized deployments.
- A platform for bio-lab automation with a general-purpose robotic manipulator☆16Mar 26, 2026Updated 7 months ago
- repository for the collaborative formalization seminar in Analysis in Bonn☆11May 1, 2026Updated 5 months ago
- Arbitrary verified fast precision floating point arithmetic in Lean, with proofs, optimized backends, and support for IEEE binary and dec…☆76Updated this week
- A rust port of con-leche☆34Updated this week
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- High level Lean 4 FFI for Rust☆14Mar 16, 2024Updated 2 years ago
- my own paper for history of math and corresponding agentic workflow☆19Apr 12, 2026Updated 6 months ago
- ☆13Updated this week
- Duality theory in linear optimization and its extensions☆12Feb 26, 2026Updated 8 months ago
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Formalization of de Rham cohomologies of a smooth manifold☆11Jun 4, 2025Updated last year
- repository for material for Jan-Mar 2023 course on formalising mathematics☆47Feb 12, 2024Updated 2 years ago
- Improved exponent bounds for the exact discrete Fourier transform, building on OpenAI Math Problem #130.☆18Oct 13, 2026Updated 2 weeks ago
- Lean formalization of CFSG☆19Updated this week
- BVH accelerated CPU and OpenGL ray-tracing☆19Mar 13, 2023Updated 3 years ago
- ASCI Summer Research Lean☆11Oct 17, 2026Updated last week
- Comparator-based Lean formal mathematics eval☆49Updated this week
- 与 Agent 共用一块画布：以画布为中心的 Agent 工作台。网站、演示稿、Word 文档、图像与视频集中在同一块画布上，用户指定、整理与修改，Agent 制作、检查与说明。支持 Windows 桌面版与自有密钥（BYOK）。☆40Oct 11, 2026Updated 2 weeks ago
- The planning repository for the Rust Gamedev Meetup☆16Feb 22, 2023Updated 3 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Superposition prover☆17Feb 16, 2023Updated 3 years ago
- This is a repo to show how to pass data to the material with Scene Uniform Buffer☆13Aug 10, 2024Updated 2 years ago
- A simple REPL for Lean 4, returning information about errors and sorries.☆12Jun 19, 2023Updated 3 years ago
- ☆11Nov 21, 2022Updated 3 years ago
- Game physics in one weekend with bevy☆38Jun 9, 2026Updated 4 months ago
- Formalization of Statement of Local Langlands Correspondence for Tori☆12Dec 18, 2018Updated 7 years ago
- 🧮 Algebraic Positional Encodings.☆21Jun 5, 2026Updated 4 months ago