3 ms·
I swear as soon as we unlock the educational power of theorem proving software it's going to be amazing. We're close. I've been following conferences like ThEdu
by haskellandchill 4y ago
I swear as soon as we unlock the educational power of theorem proving software it's going to be amazing. We're close. I've been following conferences like ThEdu and ITP religiously.
https://www.uc.pt/en/congressos/thedu/ThEdu22 https://www.uc.pt/en/congressos/thedu/ThEdu22
https://itpconference.github.io/ITP22/ https://itpconference.github.io/ITP22/