Lesezeichen

Writing a Formally-Verified Porn Browser in Coq and Haskell


Vorschau

Tags

Nutzer

  • @mkf

Kommentare und Rezensionen