Channels
welcome
github-notifications
development
announce
random
plugins
general
pex
Powered by
#development
Title
a
aloof-angle-91616
03/05/2019, 5:02 AM
i think formal verification is also a scam but talking about productionizing generated C code was pretty interesting
Post