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
  • YouTube thumbnail
    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
Shaarli 0.0.41 beta - The personal, minimalist, super-fast, no-database delicious clone. By sebsauvage.net. Theme by idleman.fr.