Zaxioms@types.pl

Zaxioms@types.pl

zaxioms@types.pl

Undergrad at CMU! Interested in formal methods with an emphasis on SAT Solving, Type Theory, and Category Theory! (They/Them)

👤 Visit Zaxioms profile 👤 Zaxioms Profil besuchen

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

Tags: category emphasis interested undergrad

Rieviews

Bewertungen

🔝