Minimal open-source implementation of AlphaProof and HyperTree Proof Search.
☆66Jan 31, 2026Updated last month
Alternatives and similar repositories for nanoproof
Users that are interested in nanoproof are comparing it to the libraries listed below
Sorting:
- A tool to auto-generate and render slides from Markdown comments in the Lean editor.☆24Jan 19, 2026Updated last month
- SorryDB indexes sorries in public lean repositories☆42Updated this week
- ☆19Jan 20, 2025Updated last year
- Fork of Flame repo for training of some new stuff in development☆19Feb 20, 2026Updated last week
- Convex optimization modeling in Lean 4☆66May 31, 2024Updated last year
- Ludic – an LLM-RL library for the era of experience☆60Jan 9, 2026Updated last month
- A formalization of ML kernel languages☆43Updated this week
- Document Generator for Lean 4☆130Updated this week
- A "code intepreter" for Lean☆81Jan 16, 2026Updated last month
- A search engine for Lean 4 declarations☆52Feb 10, 2026Updated 3 weeks ago
- Formalization of the Millennium Problems in Lean 4☆44Jan 16, 2026Updated last month
- Plan✕ is a platform for creating and publishing digital planning services☆17Updated this week
- AI eXplainable Inference & Search. Open Sourcing on-premise, ultra-fast latency intelligence to all.☆36Feb 28, 2025Updated last year
- ☆47Jan 23, 2026Updated last month
- (Mirror) A Machine-to-Machine Interaction System for Lean 4☆52Feb 24, 2026Updated last week
- ☆35Jan 10, 2025Updated last year
- LeanSSR: an SSReflect-Like Tactic Language for Lean☆43Feb 14, 2026Updated 2 weeks ago
- An Educational Framework Based on PyTorch for Deep Learning Education and Exploration☆10Dec 24, 2023Updated 2 years ago
- This repository contains the Parasol processor, which enables next-generation privacy preserving applications. Users can run arbitrary co…☆11Updated this week
- ☆37Jan 25, 2026Updated last month
- Primus-SaFE(Stability and Fault Endurance)☆52Updated this week
- Our solution to Putnam 2025.☆77Jan 9, 2026Updated last month
- Theorem relational dependencies automatic extraction and visualization as a graph for Lean4.☆39Feb 15, 2026Updated 2 weeks ago
- My writings about ARC (Abstraction and Reasoning Corpus)☆91Dec 9, 2025Updated 2 months ago
- A Lean tactic for Canonical, a search procedure for terms in dependent type theory.☆108Updated this week
- The Engineer's Guide to Deep-Learning☆36Jan 14, 2025Updated last year
- Roboadvisors claim they are democratizing the access to advanced advisory services of wealth management. Well, we think that if it is not…☆11Jun 10, 2021Updated 4 years ago
- OpenPGP key server☆13Nov 1, 2025Updated 4 months ago
- Machine Learning for Mathematical Formalization☆11Jul 20, 2024Updated last year
- Notebook sul linguaggio Python preparati da docente per il corso di Linguaggi dinamici☆12Feb 12, 2020Updated 6 years ago
- ☆15Sep 7, 2025Updated 5 months ago
- Python platform for parallel Surrogate-Based Optimization☆12Nov 27, 2024Updated last year
- a blog starter project☆11Oct 29, 2018Updated 7 years ago
- Graph Theory [maintainers=@chdoc,@damien-pous]☆41Updated this week
- LLM Building Blocks for Python Course☆15Nov 17, 2025Updated 3 months ago
- Code for "Extraction of digital wavefront sets using applied harmonic analysis and deep neural networks"☆12Nov 25, 2021Updated 4 years ago
- ☆105Feb 19, 2026Updated last week
- ☆18Jun 25, 2025Updated 8 months ago
- A Discord bot for the PlaceNL server☆10Apr 5, 2024Updated last year