leanprover-community/leancrawler 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

leanprover-community/leancrawler

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/leanprover-community/leancrawler)

Close

leanprover-community / leancrawlerView on GitHubMore

• External links
• Readme badge

An obsolete python library which gathers statistics and relational information about Lean 3 libraries.

☆17Mar 20, 2024Updated last year

Alternatives and similar repositories for leancrawler

Users that are interested in leancrawler are comparing it to the libraries listed below

• b-mehta / combinatorics

  View on GitHub
  ☆25May 23, 2022Updated 3 years ago
• leanprover-community / lean-client-python

  View on GitHub
  Python talking to the Lean theorem prover
  ☆46Aug 25, 2021Updated 4 years ago
• jasonrute / thoughts-on-ai-for-theorem-proving

  View on GitHub
  ☆26Nov 1, 2021Updated 4 years ago
• kendfrey / rubiks-cube-group

  View on GitHub
  A formalization of the Rubik's cube group
  ☆28Oct 1, 2020Updated 5 years ago
• IPDSnelting / tba-2021

  View on GitHub
  Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2021 edition
  ☆51Jul 1, 2021Updated 4 years ago
• gebner / m17n-lean

  View on GitHub
  System-wide Lean input method
  ☆12Feb 16, 2022Updated 4 years ago
• dselsam / binport

  View on GitHub
  A tool for building Lean4 .olean files from Lean3 export data
  ☆10Jul 28, 2021Updated 4 years ago
• zhangir-azerbayev / mathlib-semantic-search

  View on GitHub
  ☆15Apr 12, 2023Updated 2 years ago
• apnelson1 / lean-matroids

  View on GitHub
  Matroids in Lean
  ☆18Dec 23, 2023Updated 2 years ago
• jtristan / stump-learnable

  View on GitHub
  ☆16Dec 9, 2020Updated 5 years ago
• paulaneeley / modal

  View on GitHub
  ☆16Jan 4, 2021Updated 5 years ago
• ImperialCollegeLondon / M4P33

  View on GitHub
  M4 algebraic geometry course in Lean
  ☆58Mar 4, 2020Updated 5 years ago
• GaloisInc / lean-protocol-support

  View on GitHub
  This project contains various supporting libraries for lean to reason about protocols.
  ☆43Sep 21, 2017Updated 8 years ago
• leanprover-community / format_lean

  View on GitHub
  A Lean file formatter
  ☆71Feb 3, 2023Updated 3 years ago
• mmasdeu / topologygame

  View on GitHub
  Learn Lean and topology
  ☆26Apr 28, 2023Updated 2 years ago
• BartoszPiotrowski / lean-premise-selection

  View on GitHub
  ☆22Jan 14, 2026Updated last month
• kbuzzard / lean-stacks-project

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

  View on GitHub
  Proof recording for Lean 3
  ☆27Sep 30, 2021Updated 4 years ago
• xubaiw / Socket.lean

  View on GitHub
  A toy implementation of socket programming for Lean 4.
  ☆27Feb 23, 2023Updated 3 years ago
• proost-assistant / proost

  View on GitHub
  A small proof assistant written in Rust. Read-only mirror of https://gitlab.crans.org/loutr/proost.
  ☆31Jan 20, 2026Updated last month
• rwbarton / advent-of-lean-4

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

  View on GitHub
  Formalizing "Proofs from THE BOOK"
  ☆82Feb 24, 2026Updated last week
• asouther4 / lean-social-choice

  View on GitHub
  A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.
  ☆28Dec 24, 2021Updated 4 years ago
• princeton-vl / MetaGen

  View on GitHub
  Code for the paper "Learning to Prove Theorems by Learning to Generate Theorems"
  ☆33Oct 30, 2020Updated 5 years ago
• dwrensha / animate-lean-proofs

  View on GitHub
  tool for turning Lean proofs into Blender animations
  ☆83Dec 28, 2025Updated 2 months ago
• leanprover-community / mathlib-tools

  View on GitHub
  Development tools for https://github.com/leanprover-community/mathlib
  ☆34Aug 29, 2023Updated 2 years ago
• mpedramfar / Lean-game-maker

  View on GitHub
  This project converts structured Lean code into an interactive browser game.
  ☆80Nov 15, 2023Updated 2 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• leanprover / lean-client-js

  View on GitHub
  ☆38May 31, 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
• VardaHagh / Rigidpy

  View on GitHub
  ☆10May 2, 2025Updated 10 months ago
• srcecde / aws-cloudformation-template

  View on GitHub
  AWS CloudFormation templates.
  ☆11Jan 10, 2024Updated 2 years ago
• IBMStreams / tutorials

  View on GitHub
  A project for developing tutorials for Streams
  ☆15Dec 14, 2020Updated 5 years ago
• ccodel / verified-encodings

  View on GitHub
  Verifying encodings into propositional logic in Lean
  ☆14Aug 14, 2023Updated 2 years ago
• ssbr / refex

  View on GitHub
  A syntactically aware search-and-replace tool for Python.
  ☆15Jul 15, 2025Updated 7 months ago
• GaloisInc / lean4-balance-car

  View on GitHub
  Lean4 port of Arduino balance car controller
  ☆50Mar 17, 2021Updated 4 years ago
• GaloisInc / lean-llvm

  View on GitHub
  LLVM support for the lean theorem prover
  ☆53Sep 14, 2021Updated 4 years ago
• kex-y / M4000x_LEAN_formalisation

  View on GitHub
  Formalising lecture notes from 1st year Imperial Mathematics course.
  ☆14May 18, 2020Updated 5 years ago
• electronjoe / intervals-general

  View on GitHub
  A Rust crate enabling generalized Interval representations and operations
  ☆12Nov 3, 2024Updated last year