proof-languages topic
List
proof-languages repositories
Kind1
3.5k
Stars
142
Forks
Watchers
A next-gen functional language
