AthenaFoundation
Results
1
repositories owned by
AthenaFoundation
athena
63
Stars
4
Forks
Watchers
Athena is a modern, practical language for proof engineering & natural deduction.
