Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

Lean2

Lean theorem prover version 0.2 (it supports standard and HoTT modes)
Stars
97
License
apache-2.0
Open Issues
2
Most Recent Commit
6 years ago
Programming Language
C++
Categories
Repo
Alternatives To Lean2
Select To Compare
Json ⭐ 38,831
JSON for Modern C++
dependent packages 9total releases 11most recent commit 3 months ago
Folly ⭐ 26,664
An open-source C++ library developed and used at Facebook.
dependent packages 7total releases 3most recent commit 3 months ago
Libuv ⭐ 22,767
Cross-platform asynchronous I/O
dependent packages 13total releases 2most recent commit 3 months ago
Vcpkg ⭐ 21,476
C++ Library Manager for Windows, Linux, and MacOS
total releases 22most recent commit 12 days ago
Foundationdb ⭐ 13,602
FoundationDB - the open source, distributed, transactional key-value store
dependent packages 70total releases 199most recent commit 3 months ago
Abseil Cpp ⭐ 13,209
Abseil Common Libraries (C++)
dependent packages 15total releases 11most recent commit 3 months ago
Brotli ⭐ 12,866
Brotli compression format
dependent packages 328total releases 9most recent commit 3 months agopypi Brotli} Downloads


Suggest An Alternative To lean2
Popular Build Tools Categories
Makefile
Cmake
Gradle
Builder
Grunt
Jar
Installer
Apk
Sbt
Bundler

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
C Plus Plus
Cmake
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

Copyright 2018-2024 Awesome Open Source.  All rights reserved.