mn200/inspector-strategies
Verification of Inspector-style Compilations
PhD_project_1
This repository is cataloged as part of our automated global GitHub synchronization. Full telemetry, velocity snapshots, and code summaries are scheduled for continuous enrichment.
Verification of Inspector-style Compilations
About mechanisations of the ordinals in higher order logic
a quick cursor jump mode for emacs
Theory of Context-Free Languages in HOL