- ๐ Hi, Iโm Natalie Klaus
- ๐ The area of my interests: functional programming, Coq, Rust, OCaml
- ๐ซ How to reach me: [email protected]
๐
Formal verification. Coq, Rust, Ocaml
Popular repositories Loading
-
SAT-solver-DPLL-CNF
SAT-solver-DPLL-CNF PublicDPLL satisfiability decision procedure for boolean formulas in conjunctive normal form, with a dependent type that guarantees its correctness
Coq 1
-
fingertree
fingertree Publicfingertree: Generic finger-tree structure, with example instances. Idris
Idris
-
-
-
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.