Mattam@types.pl

Mattam@types.pl

mattam@types.pl

Computer Scientist @Inria FP and type theory enthusiast Coq/Rocq lead dev

👤 Visit Mattams profile 👤 Mattams Profil besuchen

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

Tags: computer enthusiast scientist

Rieviews

Bewertungen

🔝