2 results found Sort:

146
3.7k
mit
75
A modern proof language
Created 2018-07-13
279 commits to master branch, last one 4 months ago
Athena is a modern, practical language for proof engineering & natural deduction.
Created 2022-05-02
140 commits to master branch, last one about a month ago