AthenaFoundation / athena

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

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

AthenaFoundation/athena Stargazers