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
par Maria Emilia Maietti,
Nombre de réponses : 0