Lean

Login: leanprover

Company: null

Location: null

email:

Blog: http://leanprover.github.io/

Members

  1. Floris van Doorn
  2. Gabriel Ebner
  3. Jared Roesch
  4. Jeremy Avigad
  5. Leonardo de Moura
  6. Rob Lewis
  7. Sebastian Ullrich
  8. Soonho Kong
  9. Tahina Ramananandro (professional account)

Repositories

lean
Lean Theorem Prover
leanprover.github.io
www
library_dev
Lean standard library (development)
programming_in_lean
null
vscode-lean
An extension for VS Code which provides support for the Lean language.
This work is supported by the National Institutes of Health's National Center for Advancing Translational Sciences, Grant Number U24TR002306. This work is solely the responsibility of the creators and does not necessarily represent the official views of the National Institutes of Health.