asr/eagda
Extended version of Agda in which we have added an ATP-pragma
Public GitHub Catalog
Discovered Sep 25, 2026
asr / AFL
Public repository discovered through GitHub real-time crawl.
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.
#5432552GitHub System ID
asrOrganization / User
PublicVisibility
ActiveCatalog Status
More from asr
asr/hip
Haskell Inductive Prover - uses automated theorem provers to automatically verify equational properties of Haskell programs
asr/streams
Haskell 2010 stream comonads
asr/cabal-issue-223
Public repository.