Dear students
I confirm that
prof. Blechschmidt will begin his lectures on the proof-assistant Agda
tomorrow at 4.30 pm in 1BC50.
Many thanks for your cooperation!
MEM
tomorrow at 4.30 pm: beginning of the lectures on Agda
di Maria Emilia Maietti -
Numero di risposte: 0