Popular repositoriesLoading

1. vscode-leanvscode-leanPublic

   Forked fromleanprover/vscode-lean

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

   TypeScript 1

2. lean-simp-looplean-simp-loopPublic

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

   Lean 1

3. mathlibmathlibPublic

   Forked fromleanprover-community/mathlib3

   Lean mathematical components library

   Lean

4. mason-stothermason-stotherPublic

   Lean formalization of the Mason-Stother theorem

   Lean 1

5. lean-shlean-shPublic

   Sledgehammer prototype

   Lean

6. hanoifabshanoifabsPublic archive

   Lectures for Hanoi FABS Summer School 2018

   TeX 1