I care about program correctness. I've been looking into using formal methods(like proof-assistants) to verify my personal programs.
Popular repositories Loading
-
package-sets
package-sets PublicForked from purescript/package-sets
A curated list of PureScript packages
Shell
-
projecteuler
projecteuler PublicForked from mohanzhang/projecteuler
Attempts at solving projecteuler problems
Haskell
-
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.
