This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
About alecs
PhD student at IMDEA Software
Working on Refinement Types and Liquid Haskell
I like when programs are proofs
Lists
bool has no public lists
Timeline
bool has no activity yet