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