Consultații:
-
Luni 9:00 - 11:00
(Studenții care doresc consultații sunt rugați să mă anunțe prin e-mail cu cel puțin 24 de ore
înainte.)
Theorem proving in Lean (MR, MIR, MIE, IR, IE):
-
La echipa MS Teams a cursului vă puteți conecta cu acest cod: yae49t3