Agda repos explained in plain English

Popular Agda repositories on GitHub, each explained for non-coders — what it does, its tech stack, and how to run it.

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