Athena: A Programming Language for Proof Engineering and Natural Deduction #1 Post by fastneutron » Wed, Sep 25, 2024, 3:06 PM UTC Athena: A Programming Language for Proof Engineering and Natural Deductionathena-lang.org