Applied Scientist at AWS
why3-semantics. Formal Semantics for Why3
graph-proofs. Proofs about graph algorithms
coq-ocaml-api. Implement OCaml APIs in Coq
verified-counting-sort. Verified Counting Sort in Dafny
tower-defense. An implementation of a tower defense game based on Bloons Tower Defense 4
