AthenaFoundation / athena

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

Related projects

Alternatives and complementary repositories for athena