Barry Jay

icon indicating an email [email protected]

icon company self-employed icon location Sydney, Australia icon location I've left the university to work on my book and explore other opportunities

Results 1 repositories owned by Barry Jay

tree-calculus

33
Stars
3
Forks
Watchers

Proofs in Coq for the book Reflective Programs in Tree Calculus

verified publisher icon barry-jay-personal