A fork of openai/miniF2F adapted to Lean 4, with corrections to formalizations and informal descriptions. for human readers.
☆15Apr 23, 2026Updated 6 months ago
Alternatives and similar repositories for miniF2F
Users that are interested in miniF2F are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Lean formalizations of IMO problem statements☆37Apr 23, 2026Updated 6 months ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- Easy bindings between Lean and Python.☆12May 7, 2026Updated 6 months ago
- a Lean wrapper for the MD4C Markdown parser☆13Jun 22, 2026Updated 4 months ago
- LeanInteract: A Python Interface for Lean 4☆138Oct 18, 2026Updated 3 weeks 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.
- ☆14Updated this week
- ☆64Dec 1, 2025Updated 11 months ago
- Lean formalizations of Putnam-like problems☆22Aug 28, 2026Updated 2 months ago
- General neural tactic for Lean 4☆48Updated this week
- ☆10Apr 19, 2026Updated 6 months ago
- Running Aristotle from Harmonic on Putnam 2025 problems☆15Dec 10, 2025Updated 11 months ago
- Tiny, readable Scheme interpreter☆11Nov 13, 2025Updated last year
- ☆24Jun 12, 2026Updated 5 months ago
- A formal proof of the Riemann Hypothesis for curves☆61Feb 6, 2026Updated 9 months ago
- 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.
- ☆13May 10, 2025Updated last year
- Monorepo that hosts and serves the iliad intensive content☆18Updated this week
- Lean formalizations of the paper "We Can't Agree to Disagree, Formally: Aumann's Theorem and Assumption Accounting in Lean"☆22May 27, 2026Updated 5 months ago
- Learning Legged MPC with Smooth Neural Surrogates☆15Jun 21, 2026Updated 4 months ago
- 复旦大学自动评教脚本☆16May 14, 2024Updated 2 years ago
- Suggested conventions and examples for Lean formalization of IMO problem statements☆18Nov 2, 2026Updated last week
- 🌸 Claude的可爱二次元Nextra站点 ✨☆14Jan 29, 2026Updated 9 months ago
- How to verify a computer down to physics☆18Sep 2, 2026Updated 2 months ago
- ☆11Jun 13, 2018Updated 8 years 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.
- ML experiment tracker. Simple alternative for neptune.ai or Tensorboard.☆18Apr 11, 2026Updated 7 months ago
- Geometric Flow Networks☆12Aug 8, 2026Updated 3 months ago
- Zero-dependency local web app for browsing Claude Code session transcripts☆15Updated this week
- ☆16Updated this week
- ☆22Aug 21, 2026Updated 2 months ago
- Central limit theorem in Lean☆14May 6, 2026Updated 6 months ago
- LLM Uncertainty Quantification with Attention Chain☆11Mar 24, 2025Updated last year
- ☆16May 28, 2026Updated 5 months ago
- A 3D dependency graph visualizer for Lean 4 projects☆13Mar 30, 2026Updated 7 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- ☆23Sep 25, 2026Updated last month
- ☆14Oct 30, 2025Updated last year
- An interactive learning playground to learn mechanical engines developed using claude fable 5☆25Jun 12, 2026Updated 5 months ago
- Proving polynomial inequalities with sum-of-squares certificates☆30Apr 4, 2026Updated 7 months ago
- ☆15Nov 7, 2026Updated last week
- Python package that numerically calculates the structure of probability distributions on statistical manifolds.☆18Feb 24, 2025Updated last year
- 复旦大学自动选课脚本☆19Sep 15, 2021Updated 5 years ago
Are these results useful?