AthenaFoundation / athenaLinks

Athena is a modern, practical language for proof engineering & natural deduction.
72Updated last month

Alternatives and similar repositories for athena

Users that are interested in athena are comparing it to the libraries listed below

Sorting: