Return Styles: Pseud0ch, Terminal, Valhalla, NES, Geocities, Blue Moon. Entire thread

Real World Coq

Name: Anonymous 2017-08-26 7:10

http://www.michaelburge.us/2017/08/25/writing-a-formally-verified-porn-browser-in-coq.html

Name: Anonymous 2017-08-27 16:20

>>4
Yes.
Newer Posts
Don't change these.
Name: Email:
Entire Thread Thread List
All trademarks and copyrights on this site are owned by their respective parties. All comments and posts are the responsibility of their own posters.
- Tinychan + 2ch Mode + RSS -