Lean · GitHub

Grow your team on GitHub

GitHub is home to over 40 million developers working together. Join them to grow your own development teams, manage permissions, and collaborate on projects.

Sign up

Pinned repositories

lean

Lean Theorem Prover

C++ 1.5k 178

vscode-lean

An extension for VS Code which provides support for the Lean language.

TypeScript Apache-2.0 14 38 13 2 Updated Oct 14, 2019
leanprover.github.io

www

Lean MIT 13 1 11 0 Updated Oct 13, 2019
lean4

Lean4 work in progress repo

C Apache-2.0 9 75 4 0 Updated Oct 11, 2019
theorem_proving_in_lean

Theorem proving in Lean

Python Apache-2.0 29 20 1 2 Updated Oct 5, 2019
lean.vim

Vim script Apache-2.0 3 5 1 0 Updated Oct 4, 2019
logic_and_proof

CMU Undergrad Course

TeX Apache-2.0 23 53 3 4 Updated Oct 1, 2019
lean-mode

Emacs mode for Lean

Emacs Lisp Apache-2.0 4 22 6 0 Updated Sep 14, 2019
lean-web-editor

Lean web editor

TypeScript 6 4 4 2 Updated Jun 5, 2019
lean

Lean Theorem Prover

programming-language dependent-types theorem-proving verification type-theory lean

C++ Apache-2.0 178 1,469 56 0 Updated Jun 3, 2019
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 4 1 2 0 Updated Jan 18, 2019
super

Superposition prover

Lean 4 5 0 0 Updated Jan 18, 2019
lean-nightly

Lean nightly builds

3 1 0 0 Updated Jan 13, 2019
presentations

lean-related presentations

JavaScript Apache-2.0 8 7 1 3 Updated Oct 26, 2018
lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)

C++ Apache-2.0 16 88 3 0 Updated Oct 1, 2018
lean-client-js

TypeScript 4 8 2 1 Updated Sep 23, 2018
Lean.tmbundle

A TextMate bundle for the Lean language

Apache-2.0 4 1 1 2 Updated Aug 14, 2018
macports

macports repository for Lean

Shell 0 0 0 1 Updated May 7, 2018
live

0 0 0 0 Updated May 1, 2018
tutorial

Lean Tutorials

TeX Apache-2.0 43 29 4 0 Updated Dec 26, 2017
deprecated-homebrew-lean Archived

See https://github.com/Homebrew/homebrew-core/blob/master/Formula/lean.rb

Ruby 5 1 0 0 Updated Jul 7, 2017
lean.js
Forked from kintel/cgaljs
Lean ported to Javascript with Emscripten

Python 9 21 4 1 Updated Jun 27, 2017
tc

Reference type checker for the Lean theorem prover

Haskell GPL-3.0 4 25 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,497 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
cmu-15815-s15

CMU 15-815 Spring 2015 : Interactive Theorem Proving

JavaScript 1 1 0 0 Updated Apr 14, 2015

Top languages

JavaScript Lean TypeScript C++ Emacs Lisp

Most used topics

Loading…

People

You can’t perform that action at this time.