- š Hi, Iām @Maxuvious
- š I'm interested in computational proof
- š± Iām currently learning functional programming (in rust, Ocaml, and Agda), and generally, mathematics.
- šļø Iām looking to collaborate on anything to further my understanding in my fields of interest.
- š« The best way to reach me is on my email [no contact currently]
maxuvious Goto Github PK
Name: Maxuvious
Type: User
Bio: obsessive primate crank compute-rock