AthenaFoundation

AthenaFoundation

🏢 Organization

1 repository on SrcLog

View on GitHub
1 Repos
82 Stars
5 Forks
1 Watchers

Repositories (1)

athena AthenaFoundation/athena Standard ML

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

82