Central limit theorem in Lean
☆15May 6, 2026Updated 2 months ago
Alternatives and similar repositories for CLT
Users that are interested in CLT are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- The Lean Machine Learning Library☆33Updated this week
- Construction of a Brownian Motion in Lean☆59Updated this week
- LeanArchitect extracts a blueprint directly from Lean source.☆63Jul 16, 2026Updated last week
- A template for blueprint-driven formalization projects in Lean.☆111Jun 26, 2026Updated 3 weeks ago
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 7 months 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 formalized proof of Carleson's theorem in Lean☆101Updated this week
- ☆106Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated last month
- ☆16Jul 16, 2026Updated last week
- ☆23Dec 3, 2025Updated 7 months ago
- ☆62Dec 1, 2025Updated 7 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆44Feb 27, 2026Updated 4 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- ☆13May 10, 2025Updated last year
- 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.
- Wood River Valley Groundwater-Flow Model☆11Apr 7, 2023Updated 3 years ago
- ☆13Mar 23, 2026Updated 4 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆58Feb 23, 2026Updated 5 months ago
- Neural theorem proving evaluation via the Lean REPL☆24Jul 12, 2025Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Jul 13, 2026Updated last week
- A static analysis tool for Lean 4.☆126Jun 22, 2026Updated last month
- ☆10Feb 27, 2026Updated 4 months ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆16Oct 28, 2025Updated 8 months ago
- ☆15Apr 1, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆104Updated this week
- [NeurIPS 2024] "Membership Inference on Text-to-image Diffusion Models via Conditional Likelihood Discrepancy"☆12Sep 15, 2025Updated 10 months ago
- ☆11Jul 12, 2022Updated 4 years ago
- An htmx extension to update plotly.js charts☆14Feb 5, 2024Updated 2 years ago
- Beginner's guide to Tactic Programming in Lean☆88Apr 24, 2026Updated 3 months ago
- Presentations.☆17Dec 5, 2022Updated 3 years ago
- Code for ECMLPKDD'23 "FDTI: Fine-grained Deep Traffic Inference with Roadnet-enriched Graph"☆12Jul 24, 2023Updated 3 years ago
- Code implementation for "CGI-DM: Digital Copyright Authentication for Diffusion Models via Contrasting Gradient Inversion" (CVPR 2024)☆17Mar 25, 2024Updated 2 years ago
- Lean formalizations of IMO problem statements☆36Apr 23, 2026Updated 3 months ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- ☆17May 28, 2026Updated last month
- A playable 3D voxel game built in Lean 4.☆21Jul 12, 2026Updated last week
- This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.☆34Jun 29, 2026Updated 3 weeks ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- ☆15May 28, 2026Updated last month
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆16Updated this week
- [EMNLP 2025] DiagramEval: Evaluating LLM-Generated Diagrams via Graphs☆17Nov 1, 2025Updated 8 months ago