This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Profile
Ī¼
aripiprazole.dev
did:plc:zbsjr4srjdu4qzrdzcpha4k6
Iām an atypical antipsychotic who loves theorem provers
- š„ļø Rust š¦ & OCaml š«
- š Type Theory & Nerd stuff
- š§š· SĆ£o Paulo
ā±ļø @io_gabx on twitter/x