Skip to content

codyroux/lean

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

logo

LicenseUbuntuOS XWindowsCoverageBuilds/TestsStatic Analysis
Coverity Scan Build Status

Issue Stats Issue Stats

About

Requirements

Installing required packages at

Windows

Linux

OS X

Build Instructions

Miscellaneous

About

Lean Theorem Prover

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • C++ 75.6%
  • C 6.8%
  • Python 6.1%
  • Emacs Lisp 6.1%
  • Lua 5.0%
  • Shell 0.4%