athena

functional-programming

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

How to download and setup athena

Open terminal and run command

git clone https://github.com/AthenaFoundation/athena.git

git clone is used to create a copy or clone of athena repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with athena https://github.com/AthenaFoundation/athena/archive/master.zip

Or simply clone athena with SSH

[email protected]:AthenaFoundation/athena.git

If you have some problems with athena

You may open issue on athena support forum (system) here: https://github.com/AthenaFoundation/athena/issues

Similar to athena repositories

Here you may see athena alternatives and analogs

Functional-Light-JS elm-cheat-sheet codeworld cyclejs scala-exercises translations not-awesome-es6-classes funfix monix cyclops hybrids ios-oss Kickstarter-ReactiveExtensions write-you-a-haskell lambda Carp coconut scala lila scalaz shapeless Fluture mostly-adequate-guide nix bash-oo-framework android-oss milewski-ctfp-pdf SATySFi luafun felix