home
|
research
|
teaching
Consultații:
TBD
Theorem proving in Lean (MR, MIE, MIR, IE, II):
La echipa MS Teams a cursului vă puteți conecta cu acest cod: ch3dwyt