A next-gen functional language
HigherOrderCO
Athena is a modern, practical language for proof engineering & natural deduction.
AthenaFoundation