clarus/coq-clarus-clojure-test
Tests for the branch "Clojure" of https://github.com/clarus/coq.
Public GitHub Catalog
Discovered Oct 1, 2026
clarus / dockers
Various Doker files.
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.
#21130761GitHub System ID
clarusOrganization / User
PublicVisibility
ActiveCatalog Status
More from clarus
clarus/coq-clojure-extraction
A Coq plugin to do extraction to Clojure
clarus/coq-labelled-containers
Some experiments.
clarus/evaluation_maths
Public repository.