←
Back to Open Source
🐙 GitHub Detail
A
AthenaFoundation/athena
By AthenaFoundation
Athena is a modern, practical language for proof engineering & natural deduction.
GitHub
Standard ML
Apache License 2.0
Updated 11 Jun 2026
Live Snapshot
⭐
Stars
79
🍴
Forks
4
📄
License
Apache License 2.0
🧩
Type
Standard ML
📘
About this open-source project
Live information fetched from GitHub.
Athena is a modern, practical language for proof engineering & natural deduction.
🌿
Default Branch
master
🐞
Open Issues
7
👀
Watchers
79