barry-jay-personal

I've left the university to work on my book and explore other opportunities

self-employedSydney, Australia

Pinned Repositories

opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript0 0 00
tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
Language:Coq51 3 64
opam
Archive for all Coq related OPAM packages organized in various repositories
Language:OCaml121 19 130161

barry-jay-personal's Repositories

barry-jay-personal/tree-calculus
Proofs in Coq for the book Reflective Programs in Tree Calculus
Language:Coq51 3 64
barry-jay-personal/opam-coq-archive
Archive for all Coq related OPAM packages organized in various repositories
Language:JavaScript0 0 00