Description
Provides the standard library for Agda projects. It includes reusable definitions, data structures, proofs, and helpers that reduce the amount of foundational code users need to write themselves.
Install it when developing or checking Agda code that imports the standard library. It is support content for Agda, not a separate proof assistant.