This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
Conal Elliott
@conal@mathstodon.xyz
Joined: 11/19/2022
About Conal Elliott
I am into correct and efficient SW & HW engineering with simple, precise, and rich specifications and machine-checked correctness. Working mainly in #Agda.
Lists
conal has no public lists
Timeline
conal has no activity yet