The slides for the tutorial's lecture component are at talks/iris-popl21-tutorial.pdf. You can also watch the recording of this talk from POPL'21. The Coq demo source is in demo.v. The tutorial ...
Ce 14 avril 2020, Iris Mittenaere a pensé aux plus déprimés sur Instagram. Elle a la solution pour leur remonter le moral et leur redonner joie, et on vous propose de la découvrir ci-dessous ! Depuis ...
The slides for the tutorial's lecture component are at talks/iris-popl21-tutorial.pdf. You can also watch the recording of this talk from POPL'21. The Coq demo source is in demo.v. The tutorial ...
Certains résultats ont été masqués, car ils peuvent vous être inaccessibles.
Afficher les résultats inaccessibles
Commentaires