☆11Oct 1, 2025Updated last year
Alternatives and similar repositories for minicourse
Users that are interested in minicourse are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- General neural tactic for Lean 4☆48Oct 14, 2026Updated 3 weeks ago
- ☆11May 11, 2026Updated 5 months ago
- Files associated with the course Interactive Theorem Proving at LMU SoSe 2025☆15Apr 15, 2026Updated 6 months ago
- ☆13Jul 8, 2024Updated 2 years ago
- Claude/Codex skill and local workflow layer for efficient interaction with Lean 4 and Monte-Carlo Tree Search.☆45Updated this week
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- A cookbook for Metaprogramming in Lean4 containing code snippets to help you code!☆19Apr 22, 2026Updated 6 months ago
- ☆15Aug 8, 2025Updated last year
- Mozi Lean Copilot VS Code Extension☆11Jan 7, 2026Updated 10 months ago
- A static analysis tool for Lean 4.☆131Updated this week
- A 3D dependency graph visualizer for Lean 4 projects☆13Mar 30, 2026Updated 7 months ago
- Formalized mathematics from textbooks and research papers in Lean 4.☆66Updated this week
- ☆10Sep 18, 2025Updated last year
- Lindemann–Weierstrass Theorem☆12May 4, 2024Updated 2 years ago
- A highlight.js language grammar for the Lean theorem proving language.☆13Oct 7, 2026Updated last month
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- Tool to analyse the import structure of lean projects.☆29Oct 27, 2026Updated last week
- The Noperthedron does not have Rupert Property: a proof in Lean4☆22Oct 30, 2026Updated last week
- ☆13Oct 12, 2025Updated last year
- Monomial ordered polynomial implementation in Lean4☆11Oct 2, 2026Updated last month
- Formalization of IMO shortlist problems in Lean 4☆27Oct 14, 2026Updated 3 weeks ago
- Explore the Julia and Mandelbrot Fractals☆11Mar 21, 2024Updated 2 years ago
- code of the CVPR 2020 paper "Learning to Optimize on SPD Manifolds"☆13Sep 12, 2020Updated 6 years ago
- ☆63Dec 1, 2025Updated 11 months ago
- Formalization of Iwasawa Theory in LꓱꓯN (tentative)☆12Jul 30, 2026Updated 3 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Benchmarking coding agents on formalized undergraduate research problems☆25Oct 25, 2026Updated 2 weeks ago
- SillyTavern, rewritten in ArkTS☆18Oct 14, 2026Updated 3 weeks ago
- The ecosystem reshaping mathematics.☆12Apr 29, 2026Updated 6 months ago
- HOA (Humanfia Olympiad Agents): PutnamBench and olympiad problems (IMO, IOI, IPhO, IChO, IBO) solved by agents, checked in Lean 4 where p…☆19Oct 19, 2026Updated 2 weeks ago
- Hyprland with Lua☆20May 13, 2026Updated 5 months ago
- Github repository for the 2025 Clay Summer School on Formalizing Class Field Theory☆17Updated this week
- 美观、简洁、细腻、高性能、响应灵敏，最初是为 Star Citizen Wiki 创建的。☆16Nov 24, 2025Updated 11 months ago
- ☆31Apr 3, 2026Updated 7 months ago
- Lean 形式化数学☆22Dec 20, 2025Updated 10 months ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- ☆25Oct 31, 2026Updated last week
- Examples using MetaProgramming for writing tactics etc.☆19Nov 26, 2025Updated 11 months ago
- ☆17Jan 18, 2025Updated last year
- Automatic textbook formalization of Grinberg Algebraic Combinatorics☆18Jul 28, 2026Updated 3 months ago
- Formalization of "Analysis I" by Terence Tao☆27Apr 17, 2026Updated 6 months ago
- ☆15Aug 11, 2026Updated 2 months ago
- A little library for using SIMD instructions for x86 and ARM, wrapping Agner Fog's vectorclass for x86 and filling some of its functional…☆18May 13, 2026Updated 5 months ago