agda-c
agda-c copied to clipboard
jmlowenthal
Verified C programming in Agda
trafficstars
jmlowenthal