Prevent this user from interacting with your repositories and sending you notifications.
Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior.
Learn more about reporting abuse.
A TLA+ guide
A script for running TLA+/TLC from the command line
For when people get too hyped up about things
Proving leftpad correct in a dozen different ways
Proposed documentation for alloytools.org
Seeing something unexpected? Take a look at the
GitHub profile guide.