Daily Geek News
43 subscribers
5 photos
3 videos
68.8K links
Never Miss Computer News
Supported By @paydarap
Download Telegram
X86 Proved: Coq Library for Modelling, Specification, Generation and Proof for X86
https://x86proved.codeplex.com/

♨ Daily Geek News Here @dailygeeknews
#X86 #Proved: #Coq #Library #for #Modelling, #Specification, #Generation #and #Proof #for #X86