Lean - Giters

Lean's repositories

lean2

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

Language:C++Apache-2.0121 16 6

logic_and_proof

CMU Undergrad Course

Language:TeXApache-2.096 15 14

lean-mode

Emacs mode for Lean

Language:Emacs LispApache-2.069 8 22

tc

Reference type checker for the Lean theorem prover

Language:HaskellGPL-3.058 8 6

theorem_proving_in_lean

Theorem proving in Lean

Language:PythonApache-2.047 13 19

tutorial

Lean Tutorials

Language:TeXApache-2.044 8 100

lean-client-js

Language:TypeScriptApache-2.034 10 6

lean.js

Lean ported to Javascript with Emscripten

Language:Python2600

lean.vim

Language:Vim scriptApache-2.018 7 9

super

Superposition prover

Language:Lean15 9 3

smt2_interface

Interface to SMT2 solvers

Language:LeanApache-2.0900

lean-llvm

Custom-built LLVM toolchain for use in Lean 4

5 8 2

cmu-15815-s15

CMU 15-815 Spring 2015 : Interactive Theorem Proving

Language:JavaScript400

deprecated-homebrew-lean

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

Language:Ruby3 7 14

mdBook

Create book from markdown files. Like Gitbook but implemented in Rust

Language:RustMPL-2.03 20

mini_crush

Mini crush tactic example

Language:Lean3 5 1

lean-nightly

Lean nightly builds

2 60

Lean.tmbundle

A TextMate bundle for the Lean language

Apache-2.02 5 4

mkleanbook

Language:JavaScriptApache-2.0200

ace

Ace for Lean Theorem Prover

Language:JavaScriptNOASSERTION100

emacs-dependencies

Auxiliary repository to store emacs packages required by Lean Emacs mode

Language:Emacs Lisp100

macports

macports repository for Lean

Language:Shell1 2 2

ppa-updater

Ubuntu PPA updater for Lean

Language:Shell1 6 4

alectryon

A collection of tools for writing technical documents that mix Coq code and prose.

Language:HTMLMIT02 7