🎯
Focusing
PhD student at McGill University
https://gitlab.com/JasonHuZS
-
McGill University
- Montreal, QC
- https://hustmphrrr.github.io/
- https://orcid.org/0000-0001-6710-6262
Highlights
- Pro
Block or Report
Block or report HuStmpHrrr
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abusePinned
-
-
AlgDotCalculus
AlgDotCalculus PublicA project that attempts to turn type inference rules in DOT calculus into algorithmic one
-
-
dot-calculus
dot-calculus PublicForked from amaurremi/dot-calculus
Adding extensions to DOT calculus
Coq
-
Something went wrong, please refresh the page to try again.
If the problem persists, check the GitHub status page or contact support.
If the problem persists, check the GitHub status page or contact support.