Active
Recent
Comments
Search
Login
Login
7
ZetZ - a symbolic verifier and transpiler to bare metal C
c
compilers
formalmethods
plt
github.com
via
jado
2 years ago
|
archive
Archive.org
Archive.today
Ghostarchive
|
1 comment
1
2
sanxiyn
2 years ago
|
link
Previous discussion
here
.
Previous discussion here.