This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Michael Norrish
@michaeln@mastodon.sdf.org
Joined: 11/12/2022
About Michael Norrish
Associate Professor at the Australian National University’s School of Computing.
Lead developer of the HOL theorem-proving system.
Lists
michaeln has no public lists
Timeline
michaeln has no activity yet