aa755/coqqueryhttpserver
An HTTP server that answers Coq queries like Print, Locate by talking to coqtop
Public GitHub Catalog
Discovered Sep 24, 2026
aa755 / scene_labelling
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.
#1462079GitHub System ID
aa755Organization / User
PublicVisibility
ActiveCatalog Status
More from aa755
aa755/proviola-source
Proviola, a tool for proof reanimation.
aa755/nbcoq
Coq plugin for Netbeans
aa755/cfg3d
Public repository.