Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).
Profil ze zdalnego serwera może być niekompletny. Zobacz więcej na oryginalnej instancji.