top Agda repos, explained fr

popular Agda repos on github, each explained in plain english: what it does, its stack, and how to run it.

ailrun/proofpoolA collection of computer-checked mathematical proofs written in Agda, a language for formally proving theorems