proof.engineering

  • About

  • Posts

  • Categories

  • Tags


How to Install Athena

For simplicity, this documentation will assume the use of bash, and assume that the dotfile, .bashrc is located in your $HOME directory. The instructi… ...more

April 07, 2023 [Tutorials] #Proofs #Athena #Functional Programming

Functions & Induction in Athena: Part 1

Introduction This tutorial provides a hands-on introduction to the Athena programming language. Athena is more than a programming language, though. It… ...more

October 15, 2022 [Tutorials] #Proofs #Athena #Functional Programming #Induction

Recent Posts

How to Install Athena
Functions & Induction in Athena: Part 1

    Copyright © 2023 proof.engineering

    • About

    Powered by Zola and Abridge