agda software on GitHub

Software OPEN SOURCE
  • Subject:
    acm: TheoryofComputation_MATHEMATICALLOGICANDFORMALLANGUAGES | TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS | Software_PROGRAMMINGTECHNIQUES

Agda is a dependently typed programming language / interactive theorem prover.
Share - Bookmark