Málstofa: Dagur Tómas Ásgeirsson
Næsta málstofa verður þriðjudaginn 7. mars kl 13:20 í Naustinu, húsi Endurmenntunar. Fyrirlesari er Dagur Tómas Ásgeirsson, Kaupmannahafnarháskóla (og Háskóla Íslands). Titill fyrirlestrarins er Interactive theorem proving. Ágrip: The programming language Lean is an interactive theorem prover which now comes with a formalised mathematical library that contains most of an undergraduate degree in mathematics, and […]
Málstofa: Dagur Tómas Ásgeirsson Read More »