lean3

★ 2,154 Open GitHub ↗

Lean Theorem Prover

Explore Similar Repositories

spotify-github-profile : Show your Spotify playing on your Github profile
ytsaurus : YTsaurus is a scalable and fault-tolerant open-source big data platform.
ZLToolKit : 一个基于C++11的轻量级网络框架，基于线程池技术可以实现大并发网络IO
rswag : Seamlessly adds a Swagger to Rails-based API's
Tigo : Tigo is an HTTP web framework written in Go (Golang).It features a Tornado-like API with better performance. Tigo是一款用Go语言开发的web应用框架，API特性类似于Tornado并且拥有比Tornado更好的性能。
// repository documentation