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

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/logic_and_proof)

Close

leanprover-community / logic_and_proofView on GitHubMore

• External links
• Readme badge

☆13Sep 29, 2025Updated 5 months ago

Alternatives and similar repositories for logic_and_proof

Users that are interested in logic_and_proof are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.

• madvorak / lean3-tactic-lean4

  View on GitHub
  Reference sheet for people who know Lean 3 and want to write tactic-based proofs in Lean 4
  ☆26Oct 13, 2025Updated 5 months ago
• onriv / lean4ij

  View on GitHub
  A Lean4 plugin for the Intellij Platform
  ☆19Mar 17, 2026Updated last week
• bakerjd99 / jod

  View on GitHub
  jod distribution source with commented versions in (jodijs) - tracks J Pacman versions
  ☆10Apr 19, 2025Updated 11 months ago
• haruhisa-enomoto / mathlib4-all-tactics

  View on GitHub
  Markdown file of the list and explanations of all mathlib4 tactics
  ☆53Jan 6, 2024Updated 2 years ago
• ah1112 / synthetic_euclid_4

  View on GitHub
  ☆12Feb 18, 2024Updated 2 years ago
• leanprover-community / mathematics_in_lean

  View on GitHub
  The user home repository for the Mathematics in Lean tutorial.
  ☆480Aug 8, 2025Updated 7 months ago
• proost-assistant / ProostLean

  View on GitHub
  An reimplementation of the Proost proof-assistant written in Lean 4
  ☆12Mar 3, 2024Updated 2 years ago
• sinhp / ProofLab

  View on GitHub
  ☆11May 14, 2023Updated 2 years ago
• bergmannjg / leanCurl

  View on GitHub
  Lean 4 bindings to libcurl
  ☆13Feb 3, 2026Updated last month
• VincentToups / jkmeans

  View on GitHub
  An implementation of the clustering algorithm k-means in J.
  ☆13Nov 28, 2014Updated 11 years ago
• ianjauslin-rutgers / pythagoras4

  View on GitHub
  Many proofs of the Pythagoras theorem - Lean 4
  ☆10Dec 1, 2023Updated 2 years ago
• argumentcomputer / LSpec

  View on GitHub
  A Testing Framework for Lean
  ☆76Mar 6, 2026Updated 2 weeks ago
• vmchale / coronavirus

  View on GitHub
  covid-19 data in J
  ☆16Dec 14, 2021Updated 4 years ago
• coderefinery / jupyter-retired

  View on GitHub
  Course material on Jupyter Notebooks.
  ☆15Feb 8, 2019Updated 7 years ago
• pa-ba / reg-machine

  View on GitHub
  Coq & Haskell code for Calculating Correct Compilers II
  ☆12Feb 22, 2022Updated 4 years ago
• nomeata / lean-calcify

  View on GitHub
  ☆33Jun 15, 2025Updated 9 months ago
• tikkanz / j-vscode

  View on GitHub
  Visual Studio Code support for J language
  ☆14Nov 21, 2025Updated 4 months ago
• leanprover-community / tutorials4

  View on GitHub
  Lean 4 tutorial files
  ☆54Nov 21, 2025Updated 4 months ago
• arthurpaulino / lean2md

  View on GitHub
  ☆22Nov 23, 2023Updated 2 years ago
• leanprover / lean4export

  View on GitHub
  Plain-text declaration export for Lean 4
  ☆28Mar 9, 2026Updated 2 weeks ago
• Drup / zarith-ppx

  View on GitHub
  Literals for Zarith's arbitrary-precision integers and rationals
  ☆12Aug 18, 2022Updated 3 years ago
• ImperialCollegeLondon / formalising-mathematics-2023

  View on GitHub
  repository for material for Jan-Mar 2023 course on formalising mathematics
  ☆48Feb 12, 2024Updated 2 years ago
• joebo / microj

  View on GitHub
  ☆14Mar 22, 2018Updated 8 years ago
• lean-forward / logical_verification_2024

  View on GitHub
  The Hitchhiker's Guide to Logical Verification and Associated Materials (2024 Edition)
  ☆68Mar 28, 2024Updated last year
• vassilych / cscscpp

  View on GitHub
  CSCS Scripting Language Implemented in C++
  ☆11Mar 5, 2017Updated 9 years ago
• chrishoffman / smugpy

  View on GitHub
  Python library for the SmugMug API
  ☆35Dec 18, 2013Updated 12 years ago
• nyu-cds / python-numba

  View on GitHub
  ☆11Dec 12, 2021Updated 4 years ago
• IMO-grand-challenge / IMO-grand-challenge.github.io

  View on GitHub
  IMO Grand Challenge for Artificial Intelligence
  ☆47Jan 31, 2022Updated 4 years ago
• marekrei / smuploader

  View on GitHub
  Upload / download library for SmugMug.com
  ☆12Feb 5, 2022Updated 4 years ago
• blanchette / interactive_theorem_proving_2024

  View on GitHub
  Files associated with the course Interactive Theorem Proving at LMU SoSe 2024
  ☆63Aug 13, 2024Updated last year
• adhawkins / smugmugv2py

  View on GitHub
  Python library for the SmugMug v2 API
  ☆12Mar 19, 2019Updated 7 years ago
• snoyberg / why-you-should-use-stm

  View on GitHub
  ☆45Jun 6, 2019Updated 6 years ago
• mattia-furlan / MasterThesisCTT

  View on GitHub
  Haskell implementation of a version of cubical type theory developed for my master thesis
  ☆16Nov 19, 2022Updated 3 years ago
• facundominguez / stitch-lh

  View on GitHub
  ☆11Feb 15, 2022Updated 4 years ago
• DavidBuchanan314 / python-bitsliced-aes

  View on GitHub
  An experimental implementation of bitsliced aes in pure python. Quite possibly the fastest pure-python AES implementation on the planet.
  ☆19Mar 22, 2022Updated 4 years ago
• teach-plt / plt-errata

  View on GitHub
  Collection of errata for book Aarne Ranta, Implementing Programming Languages
  ☆12Nov 13, 2025Updated 4 months ago
• dylemma / scala.frp

  View on GitHub
  Functional Reactive Programming for Scala
  ☆24Dec 3, 2016Updated 9 years ago
• bennylp / nb2wp

  View on GitHub
  Convert Jupyter notebook to plain HTML suitable for Wordpress.com
  ☆19Sep 26, 2019Updated 6 years ago
• mminke / kotlin-compose-web-material3

  View on GitHub
  Implementation of Material3 Web Components in Kotlin Compose for Web.
  ☆13Oct 31, 2023Updated 2 years ago