Repo

priority-controller-phase1

by Idris Ali Shaik · Zeta/Directi

Lean formalization of priority-controller results and resource-respecting encoded-machine reduction bridges

Built withLean

Comments · 0

No comments yet. Tried it? Tell Idris what worked, what didn't, or what you'd want next.

See what other members are building and what each project is looking for.