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