AthenaFoundation/athena

Athena is a modern, practical language for proof engineering & natural deduction.

Standard MLStars 74Forks 4Watchers 74Open issues 6License Apache License 2.0

Details

仓库信息

OwnerAthenaFoundation

Homepage—

Last pushed2025-08-02

Last updated2025-12-13

Issues fetched at—

Community at a glance