aztek/agda-sets
Constructive proofs for elementary set theory
Public GitHub Catalog
Discovered Sep 25, 2026
aztek / syngen
Concrete syntax generator
About this discovery
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
#3049446GitHub System ID
aztekOrganization / User
PublicVisibility
ActiveCatalog Status
More from aztek
aztek/sunlight
Client-side syntax highlighter
aztek/agda-stdlib
The Agda standard library
aztek/craig-lyndon
A half-baked constructive proof of Craig-Lyndon interpolation theorem for propositional logic