aliassaf/dedukti-inductive
Library for reflecting inductive types in Dedukti
Public GitHub Catalog
Discovered Sep 25, 2026
aliassaf / hol2dk
hol to dedukti
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.
#3900065GitHub System ID
aliassafOrganization / User
PublicVisibility
ActiveCatalog Status
More from aliassaf
aliassaf/yolk
Extract the contents of Coq object files.
aliassaf/try_git
Public repository.
aliassaf/camelide
An interpreter for Dedukti written in OCaml.