Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 40 million developers.
Hide content and notifications from this user.
Learn more about blocking users
Contact Support about this user’s behavior.
Learn more about reporting abuse
Liquid Haskell implementation of ordinal arithmetic
Abstract Algebra for the Alloy Analyzer
Language for run-time-limited programs
Generating many-valued logics with z3
The better better recursive note taker/meta-gui.
Seeing something unexpected? Take a look at the
GitHub profile guide.