Central limit theorem in Lean
☆15May 6, 2026Updated 3 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☆34Aug 6, 2026Updated last week
- Construction of a Brownian Motion in Lean☆60Aug 1, 2026Updated last week
- LeanArchitect extracts a blueprint directly from Lean source.☆65Jul 29, 2026Updated 2 weeks ago
- A template for blueprint-driven formalization projects in Lean.☆113Jun 26, 2026Updated last month
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 8 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.
- A formalized proof of Carleson's theorem in Lean☆106Updated this week
- ☆139Updated this week
- A platform for formalizing OEIS sequences in Lean 4☆21Jun 10, 2026Updated 2 months ago
- ☆18Jul 26, 2026Updated 2 weeks ago
- ☆23Dec 3, 2025Updated 8 months ago
- ☆62Dec 1, 2025Updated 8 months ago
- This project is about formally verifying Seymour's decomposition theorem for regular matroids.☆45Feb 27, 2026Updated 5 months ago
- Library for proving propositions quantified over finite sets☆14Sep 21, 2022Updated 3 years ago
- ☆13May 10, 2025Updated last year
- Serverless GPU API endpoints on Runpod - Get Bonus Credits • AdSkip the infrastructure headaches. Auto-scaling, pay-as-you-go, no-ops approach lets you focus on innovating your application.
- 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☆36Updated this week
- A static analysis tool for Lean 4.☆127Jun 22, 2026Updated last month
- ☆10Feb 27, 2026Updated 5 months ago
- Refuting Jian-Gang Tang's AI-generated crackpot paper "A Homological Proof of P ≠ NP: Computational Topology via Categorical Framework"☆17Oct 28, 2025Updated 9 months ago
- ☆15Apr 1, 2026Updated 4 months ago
- Deploy open-source AI quickly and easily - Special Bonus Offer • AdRunpod Hub is built for open source. One-click deployment and autoscaling endpoints without provisioning your own infrastructure.
- An AIs-welcome Lean library downstream of Mathlib: AI handle the implementation and review, humans write the roadmaps and review rubrics☆150Updated 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☆91Apr 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
- 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.
- ☆17May 28, 2026Updated 2 months ago
- A playable 3D voxel game built in Lean 4.☆21Jul 12, 2026Updated last month
- This repo is about the proof of the Nash Equilibrium through Scarf and Brouwer by Mathlib.☆33Updated this week
- Formalisation of the theory of real closed fields in Lean 4.☆15Aug 2, 2026Updated last week
- ☆16May 28, 2026Updated 2 months ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Aug 3, 2026Updated last week
- [EMNLP 2025] DiagramEval: Evaluating LLM-Generated Diagrams via Graphs☆17Nov 1, 2025Updated 9 months ago