agentultra/lean-for-hackers external links

---

GitHub - View repository

GitHub.dev - Open in online code editor

Star history - Growth chart over time

deps.dev - Dependencies and security vulnerabilities

Gitingest - Export source code for LLM usage

Repomix - Export source code for LLM usage

uithub - Export source code for LLM usage

Close

agentultra/lean-for-hackers

Readme badge preview -

If you own this repo, copy the snippet below and add it to your README.md

---

Copy

[![RelatedRepos](https://img.shields.io/badge/related-repos-yellow)](https://relatedrepos.com/gh/agentultra/lean-for-hackers)

Close

agentultra / lean-for-hackersView on GitHubMore

• External links
• Readme badge

☆20Jan 24, 2023Updated 3 years ago

Alternatives and similar repositories for lean-for-hackers

Users that are interested in lean-for-hackers are comparing it to the libraries listed below

• agentultra / lean-4-hackers

  View on GitHub
  ☆18Nov 29, 2021Updated 4 years ago
• ImperialCollegeLondon / xena-UROP-2018

  View on GitHub
  A place to put our 2018 Xena project UROP thoughts and programs.
  ☆26May 27, 2020Updated 5 years ago
• NUS-Math-Formalization / coxeter

  View on GitHub
  ☆13Jul 8, 2024Updated last year
• jasonrute / lean_proof_recording

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• digama0 / lean-rs

  View on GitHub
  High level Lean 4 FFI for Rust
  ☆14Mar 16, 2024Updated last year
• fzyzcjy / ai_math_paper_list

  View on GitHub
  AI for Mathematics Paper List
  ☆17Jan 14, 2025Updated last year
• leanprover-community / mathlib-changelog

  View on GitHub
  ☆14Updated this week
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 2 years ago
• jesse-michael-han / lean-tpe-public

  View on GitHub
  The Lean Theorem Proving Environment
  ☆14May 7, 2023Updated 2 years ago
• firetto / Walnut

  View on GitHub
  ☆12Mar 31, 2024Updated last year
• 658060 / topos

  View on GitHub
  Topos theory in Lean 4
  ☆17Feb 10, 2025Updated last year
• AdaptiveSubgoalSearch / adaptive_subs

  View on GitHub
  Adaptive Subgoal Search
  ☆20Apr 3, 2023Updated 2 years ago
• agusakov / category-theory-game

  View on GitHub
  ☆17Jul 26, 2020Updated 5 years ago
• rzk-lang / hottbook

  View on GitHub
  HoTT Book formalisations in Rzk.
  ☆20Dec 15, 2023Updated 2 years ago
• leanprover-community / lftcm2020

  View on GitHub
  Lean for the Curious Mathematician 2020
  ☆68Oct 24, 2023Updated 2 years ago
• albertqjiang / INT

  View on GitHub
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆39Dec 12, 2022Updated 3 years ago
• HKUNLP / subgoal-theorem-prover

  View on GitHub
  Code for the paper "Decomposing the Enigma: Subgoal-based Demonstration Learning for Formal Theorem Proving"
  ☆19May 25, 2023Updated 2 years ago
• jesse-michael-han / lean-step-public

  View on GitHub
  Proof artifact co-training for Lean
  ☆45Dec 29, 2022Updated 3 years ago
• leanprover / tutorial

  View on GitHub
  Lean Tutorials
  ☆46Oct 4, 2020Updated 5 years ago
• leanprover-community / lean4-samples

  View on GitHub
  Code samples for Lean 4
  ☆76Oct 19, 2023Updated 2 years ago
• leanprover-community / tutorials

  View on GitHub
  Some Lean tutorials
  ☆182Oct 10, 2023Updated 2 years ago
• felixwellen / synthetic-geometry

  View on GitHub
  Synthetic geometry. Probably mostly algebraic geometry.
  ☆26Jan 22, 2024Updated 2 years ago
• rschwiebert / RingApp

  View on GitHub
  A database app for ring theory
  ☆22Feb 22, 2026Updated last week
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• ImperialCollegeLondon / Example-Lean-Projects

  View on GitHub
  Some examples of Lean projects, for undergraduate mathematicians.
  ☆23Jun 7, 2021Updated 4 years ago
• albertqjiang / Portal-to-ISAbelle

  View on GitHub
  https://albertqjiang.github.io/Portal-to-ISAbelle/
  ☆57Sep 6, 2023Updated 2 years ago
• kbuzzard / lean-stacks-project

  View on GitHub
  Formal verification of parts of the Stacks Project in Lean
  ☆22Sep 24, 2021Updated 4 years ago
• rwbarton / advent-of-lean-4

  View on GitHub
  Advent of Code 2020 solutions in Lean 4
  ☆27Jan 5, 2021Updated 5 years ago
• MathBases / MathBases

  View on GitHub
  ☆27Feb 3, 2026Updated last month
• ImperialCollegeLondon / group-theory-game

  View on GitHub
  Building group theory from scratch in Lean
  ☆62Jan 24, 2021Updated 5 years ago
• mrkkrp / ebal

  View on GitHub
  *DEPRECATED* Emacs interface to Cabal and Stack
  ☆29Mar 19, 2018Updated 7 years ago
• djvelleman / HTPILeanPackage

  View on GitHub
  Lean package for "How To Prove It with Lean", a companion to the book "How To Prove It"
  ☆37Dec 20, 2025Updated 2 months ago
• jyp / prettiest

  View on GitHub
  The Prettiest Printer
  ☆35Feb 14, 2024Updated 2 years ago
• liuchengwucn / FIMO

  View on GitHub
  ☆37Oct 29, 2024Updated last year
• MizarProject / system

  View on GitHub
  ☆42May 29, 2025Updated 9 months ago
• albertqjiang / draft_sketch_prove

  View on GitHub
  ☆71Sep 30, 2023Updated 2 years ago
• kedlaya / tetrahedra

  View on GitHub
  ☆35Aug 10, 2025Updated 6 months ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• AdonaiHS / Nielsen_and_Chuang_solutions

  View on GitHub
  Unnoficial solutions (still under construction) to Nielsen and Chuang's "Quantum Computation and Quantum Information" - 10th anniversary …
  ☆19Feb 11, 2026Updated 3 weeks ago