A modern proof language
- formality
- lambda-calculus
- type-theory
- proof-language
61,121 visible repositories in the index
1–3 of 3 · Most stars
A modern proof language
Haskell web framework inspired by Ruby's Sinatra, using WAI and Warp (Official Repository)
Carthage cache for S3, Minio, Ceph, Google Storage, Artifactory and many others