Giters

leodemoura / lean_clone

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

logo

LicenseWindowsLinux / macOSTest Coverage
Codecov

Issue Stats

About

Requirements

Installing required packages at

Windows

Linux

OS X

Build Instructions

Miscellaneous

About

License:Apache License 2.0

Languages

Language:C++ 62.6%Language:Lean 33.3%Language:Emacs Lisp 1.4%Language:CMake 1.1%Language:C 0.7%Language:Python 0.3%Language:Shell 0.3%Language:TeX 0.1%Language:Perl 0.1%Language:SMT 0.1%Language:Vim Script 0.0%Language:HTML 0.0%Language:Gherkin 0.0%Language:Makefile 0.0%Language:Batchfile 0.0%Language:Lua 0.0%Language:Lex 0.0%