proof-languages topic

List proof-languages repositories

Kind1

3.5k

Stars

142

Forks

Watchers

A next-gen functional language

dependent-types

functional-programming

lambda-calculus

© 2022 Git Memory Policy Terms Contact Exchangetuts Onltools