1 result found Sort:
Athena is a modern, practical language for proof engineering & natural deduction.
Created
2022-05-02
55 commits to master branch, last one 11 days ago