Projects in Awesome Lists tagged with postulates
A curated list of projects in awesome lists tagged with postulates .
https://github.com/pdmosses/mfps2026-agda
Agda code for an MFPS 2026 paper
agda denotational-semantics formalisation mechanisation postulates synthetic-domain-theory
Last synced: 04 Jun 2026
