I am an academic at the School of Computing, The Australian National University. Interested in logic, formal verification and computer security.
-
The Australian National University
- Canberra, Australia
Stars
0
results
for mirror starred repositories
written in OCaml
Clear filter