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.
Forked from epfl-lara/leon
Rosa, the real compiler
Useful stuff for certified numerical results in Scala
Synthesizer for accurate fixed-point arithmetic expressions
Forked from ctuning/ck-artifact-evaluation
Collective Knowledge repository to support artifact evaluation and reproducibility initiatives:
Forked from epfl-lara/ScalaZ3
Binders and more to the Z3 SMT solver for Scala
Seeing something unexpected? Take a look at the
GitHub profile guide.