Liam O'Connor @liamoc@types.pl
- Pronouns
- he/any
- Website
- http://liamoc.net
- https://twitter.com/kamatsu8
- Languages
- English, 한국어, 日本語, Lingva Latina
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
Holbert 0.5 is now live on http://liamoc.net/holbert.
It now supports inductive judgements, induction and rule inversion, better unification solutions, many bug fixes, better rewriting support, and many other small improvements. This is mostly due to the great work from my two undergrads over the last year, Chris Perceval-Maxwell and Rayhana Amjad.
If you see an error message on load, you may have to clear your cache.
Hello everyone. I probably will not post significantly here for now, but I am parking the profile in case it becomes more widely used.
- Pronouns
- he/any
- Website
- http://liamoc.net
- https://twitter.com/kamatsu8
- Languages
- English, 한국어, 日本語, Lingva Latina
Lecturer at LFCS, University of Edinburgh. I leave these toots, I do not know for whom. I no longer know what they are about.
Formal Methods, Verification, Concurrency, etc.
