All Git Users → pi8027

2 open source projects by pi8027

[ Open user page on Github ]

Type inference in OCaml

✭ 36

TeX Standard ML haskell ocaml

Stable sort algorithms and their stability proofs in Coq

✭ 19

Coq ocaml haskell Nix Makefile coq mergesort insertion-sort sorting-algorithms ssreflect mathcomp

1-2 of 2 user projects