Agda

cli 2.6.3 ·haskell

✓ install reviewed

Command-line interface to the Agda dependently typed programming language and proof assistant.

Resources