2 results found Sort:

HigherOrderCO
Kind HigherOrderCO
145
3.7k
mit
75
A modern proof language
moonad formality type-theory proof-language theorem-prover dependent-types lambda-calculus proof-languages functional-programming
Created 2018-07-13
279 commits to master branch, last one 3 months ago
AthenaFoundation
athena AthenaFoundation
4
71
apache-2.0
1
Athena is a modern, practical language for proof engineering & natural deduction.
logic proof-language proof-assistant theorem-proving natural-deduction formal-verification functional-programming
Created 2022-05-02
140 commits to master branch, last one 18 days ago