aliassaf/preparen
Latex package for pretty-printing precedence parentheses
Public GitHub Catalog
Discovered Sep 30, 2026
aliassaf / yolk
Extract the contents of Coq object 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.
#17513903GitHub System ID
aliassafOrganization / User
PublicVisibility
ActiveCatalog Status
More from aliassaf
aliassaf/dedukti-inductive
Library for reflecting inductive types in Dedukti
aliassaf/try_git
Public repository.
aliassaf/camelide
An interpreter for Dedukti written in OCaml.