Popular repositories Loading

1. vscode-lean vscode-lean Public

   Forked from leanprover/vscode-lean

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

   TypeScript 1

2. lean-simp-loop lean-simp-loop Public

   Run the lean simplifier in loop with various simplification procedures (e.g. like Isabelle's simplifier)

   Lean 1

3. mathlib mathlib Public

   Forked from leanprover-community/mathlib3

   Lean mathematical components library

   Lean

4. mason-stother mason-stother Public

   Lean formalization of the Mason-Stother theorem

   Lean 1

5. lean-sh lean-sh Public

   Sledgehammer prototype

   Lean

6. hanoifabs hanoifabs Public archive

   Lectures for Hanoi FABS Summer School 2018

   TeX 1