Formally verified write(2) syscall boundary in Fil-C

(filnix.org)

2 points | by pizlonator 9 hours ago ago