🏠
Working from home
Pinned Loading
-
proof-automation
proof-automation PublicAutomate the generation of certain homomorphism proofs in Dafny.
Python
-
-
eigengraph
eigengraph PublicA simple graphing program. Graph basic functions (with transformations) and animate their integrals.
C#
-
competitive-programming
competitive-programming PublicSolutions to competitive programming problems.
C++
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.