Shaare your links...
5132 links
yakmoijebrille
Home
Login
RSS Feed
ATOM Feed
Tag cloud
Picture wall
Daily
Links per page:
20
50
100
page 1 / 1
2 results for tags
formel
x
Guest Lecture - Formal Verification in Chisel (Kevin Laeufer) - YouTube
Un cours sur la preuve formelle avec Chisel. Par l'auteur de la librairie.
Thu Feb 24 20:48:55 2022 - permalink
-
-
https://www.youtube.com/watch?v=ssAbq5tdh8Y
chisel
flf
formel
preuve
Coq, assistant de preuve : Dossier complet | Techniques de l’Ingénieur
sous le coude
Thu Jan 7 10:41:58 2021 - permalink
-
-
https://www.techniques-ingenieur.fr/base-documentaire/technologies-de-l-information-th9/programmation-42304210/coq-assistant-de-preuve-h3310/
coq
formel
preuve
programmation
Links per page:
20
50
100
page 1 / 1