Jan Mas Rovira
[home]
[blog]
Tags
.
Agda (2 posts)
formal verification (4 posts)
Haskell (2 posts)
Lean (1 post)
logic (2 posts)
