AthenaFoundation / athena

Athena is a modern, practical language for proof engineering & natural deduction.
65Updated 3 weeks ago

Related projects

Alternatives and complementary repositories for athena