Delete   Set public   Set private   Add tags   Delete tags
  Add tag   Cancel
  Delete tag   Cancel
Daily Weekly Monthly

Daily Shaarli

Previous day
All links of one day in a single page.
Next day

2021年1月7日

Coq, assistant de preuve : Dossier complet | Techniques de l’Ingénieur

sous le coude

preuve formel coq programmation
MicroZed Chronicles: Installing and Working with GHDL for Verification
thumbnail

La simplicité de GHDL sous windows.

flf ghdl vhdl uvm
WhatsApp va exclure les utilisateurs qui ne veulent pas livrer leurs données à Facebook

Il est possible que je ne soit bientôt plus sur whatsapp.

whatsapp