AthenaFoundation / athenaLinks

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

Alternatives and similar repositories for athena

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

Sorting: