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

2 points | by pizlonator 10 hours ago