Jose_a_alonso@mathstodon.xyz

Jose_a_alonso@mathstodon.xyz

jose_a_alonso@mathstodon.xyz

Mathematician interested in the study and teaching of computational logic, functional programming (Haskell) and interactive theorem proving (Lean, Isabelle/HOL).

👤 Visit Jose_a_alonsos profile 👤 Jose_a_alonsos Profil besuchen

✍️Write rieview ✍️Rezension schreiben 🏷️Get Badge! 🏷️Abzeichen holen!

Tags: computational functional interactive interested isabelle mathematician programming teaching

Rieviews

Bewertungen

🔝