OCaml and Theorem Proving 🐫🐓
Work
Teaching Assistant
This badge celebrates the longevity of those who have been a registered member of the DEV Community for at least one year.
Skills/Languages
I'm fairly productive with the OCaml ecosystem.
Currently learning
Z3, Coq, Lean4, Elm, monadic programming
Create an account to connect with dalpio. You can also sign in below to proceed if you already have an account.
We're a place where coders share, stay up-to-date and grow their careers.
Want to connect with dalpio?
Create an account to connect with dalpio. You can also sign in below to proceed if you already have an account.