Lean

Repositories

• lean4

  Lean 4 programming language and theorem prover

  lean4
  Lean Apache-2.0 60 821 69 (15 issues need help) 1 Updated May 21, 2021

• lean4-nightly

  Nightly builds
  0 6 0 0 Updated May 21, 2021

• elan

  A Lean version manager
  Rust 12 85 3 0 Updated May 16, 2021

• leanprover.github.io

  www
  Lean MIT 15 4 11 1 Updated May 13, 2021

• vscode-lean

  An extension for VS Code which provides support for the Lean language.
  TypeScript Apache-2.0 33 76 39 3 Updated May 12, 2021

• theorem_proving_in_lean

  Theorem proving in Lean
  Python Apache-2.0 41 30 0 1 Updated May 9, 2021

• lean-mode

  Emacs mode for Lean
  Emacs Lisp Apache-2.0 14 38 7 0 Updated May 2, 2021

• logic_and_proof

  CMU Undergrad Course
  TeX Apache-2.0 28 68 2 12 Updated Mar 29, 2021

• lean.vim
  Vim script Apache-2.0 5 16 4 2 Updated Jan 31, 2021

• mdBook

  Forked from rust-lang/mdBook

  Create book from markdown files. Like Gitbook but implemented in Rust
  Rust MPL-2.0 760 1 0 0 Updated Jan 4, 2021

• lean-client-js
  TypeScript 6 16 2 2 Updated Dec 20, 2020

• lean-web-editor

  Lean web editor
  TypeScript 11 5 4 1 Updated Nov 5, 2020

• tutorial

  Lean Tutorials
  TeX Apache-2.0 40 36 5 2 Updated Oct 4, 2020

• lean Archived

  Lean Theorem Prover

  programming-language dependent-types theorem-proving verification type-theory lean
  C++ Apache-2.0 197 1,938 58 0 Updated Aug 6, 2020

• super

  Superposition prover
  Lean 4 7 3 0 Updated Aug 6, 2020

• lean-nightly

  Lean nightly builds
  3 1 0 0 Updated Jan 15, 2020

• Lean.tmbundle

  A TextMate bundle for the Lean language
  Apache-2.0 4 1 1 2 Updated Jan 12, 2020

• mini_crush Archived

  Mini crush tactic example
  Lean 0 1 1 0 Updated Jan 18, 2019

• smt2_interface

  Interface to SMT2 solvers
  Lean Apache-2.0 5 4 2 0 Updated Jan 18, 2019

• presentations

  lean-related presentations
  JavaScript Apache-2.0 8 10 1 3 Updated Oct 26, 2018

• lean2

  Lean theorem prover version 0.2 (it supports standard and HoTT modes)
  C++ Apache-2.0 20 109 2 0 Updated Oct 1, 2018

• macports

  macports repository for Lean
  Shell 0 0 0 1 Updated May 7, 2018

• live
  0 0 0 0 Updated Apr 30, 2018

• deprecated-homebrew-lean Archived

  See https://github.com/Homebrew/homebrew-core/blob/master/Formula/lean.rb
  Ruby 4 1 0 0 Updated Jul 7, 2017

• lean.js

  Forked from kintel/cgaljs

  Lean ported to Javascript with Emscripten
  Python 9 23 4 1 Updated Jun 27, 2017

• tc

  Reference type checker for the Lean theorem prover
  Haskell GPL-3.0 8 43 2 0 Updated Mar 17, 2017

• mkleanbook
  JavaScript Apache-2.0 7 1 2 1 Updated Mar 16, 2017

• ace

  Forked from ajaxorg/ace

  Ace for Lean Theorem Prover
  JavaScript 4,947 0 0 0 Updated Jan 11, 2017

• emacs-dependencies

  Auxiliary repository to store emacs packages required by Lean Emacs mode
  Emacs Lisp 3 0 0 0 Updated May 12, 2016

• ppa-updater

  Ubuntu PPA updater for Lean
  Shell 1 0 0 0 Updated May 6, 2016