aliassaf/preparen
Latex package for pretty-printing precedence parentheses
Public GitHub Catalog
Discovered Sep 30, 2026
aliassaf / dedukti-inductive
Library for reflecting inductive types in 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.
#18404744GitHub 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.