Johannes Hölzl's repositories
lean-simp-loop
Run the lean simplifier in loop with various simplification procedures (e.g. like Isabelle's simplifier)
vscode-lean
An extension for VS Code which provides support for the Lean language.
cp210x-program
EEPROM tool for Silabs CP210x USB-Serial adapter
Language:PythonLGPL-2.1000
hanoifabs
Lectures for Hanoi FABS Summer School 2018
Language:TeX000
lean-import-parser
Import parser for Lean files
lean-sh
Sledgehammer prototype
Language:Lean000
lean-together
mathlib tutorial presented at the lean together workshop
Language:Lean000
mason-stother
Lean formalization of the Mason-Stother theorem
Language:Lean000
mathlib
Lean mathematical components library
Language:LeanApache-2.0000
proving-contest-backends
"proving-contest"-backends for several theorem provers
Language:Python000
qpf
Datatypes as quotients of polynomial functors
Language:LeanApache-2.0000
tc-log-parser
Log Parser for Lean's type class instantiation trace
Language:Python000