Central limit theorem in Lean
☆15May 6, 2026Updated 5 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☆44Updated this week
- Construction of a Brownian Motion in Lean☆62Updated this week
- LeanArchitect extracts a blueprint directly from Lean source.☆91Sep 25, 2026Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆117Oct 2, 2026Updated last week
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 10 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.
- A formalized proof of Carleson's theorem in Lean☆113Updated this week
- ☆18Aug 16, 2026Updated last month
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 4 months ago
- ☆23Dec 3, 2025Updated 10 months ago
- ☆62Dec 1, 2025Updated 10 months ago
- ☆240Updated this week
- Library for proving propositions quantified over finite sets☆15Sep 21, 2022Updated 4 years ago
- ☆13May 10, 2025Updated last year
- Wood River Valley Groundwater-Flow Model☆11Apr 7, 2023Updated 3 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆49Aug 27, 2026Updated last month
- ☆13Mar 23, 2026Updated 6 months ago
- The FATE (Formal Algebra Theorem Evaluation) benchmarks.☆62Feb 23, 2026Updated 7 months ago
- Neural theorem proving evaluation via the Lean REPL☆23Jul 12, 2025Updated last year
- Neural theorem proving toolkit: data extraction tools for Lean 4☆36Sep 15, 2026Updated 3 weeks ago
- A static analysis tool for Lean 4.☆132Jun 22, 2026Updated 3 months ago
- ☆11Feb 27, 2026Updated 7 months ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆18Oct 28, 2025Updated 11 months ago
- ☆15Updated this week
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- [NeurIPS 2024] "Membership Inference on Text-to-image Diffusion Models via Conditional Likelihood Discrepancy"☆12Sep 15, 2025Updated last year
- ☆12Jul 12, 2022Updated 4 years ago
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆220Updated this week
- An htmx extension to update plotly.js charts☆14Feb 5, 2024Updated 2 years ago
- Beginner's guide to Tactic Programming in Lean☆95Apr 24, 2026Updated 5 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 5 months ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- ☆18May 28, 2026Updated 4 months ago
- A playable 3D voxel game built in Lean 4.☆23Jul 12, 2026Updated 3 months ago
- This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.☆33Sep 20, 2026Updated 3 weeks ago
- ☆16May 28, 2026Updated 4 months ago
- [EMNLP 2025] DiagramEval: Evaluating LLM-Generated Diagrams via Graphs☆17Nov 1, 2025Updated 11 months ago
- Formalisation of the theory of real closed fields in Lean 4.☆15Updated this week
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Sep 1, 2026Updated last month