pornview

Porn browser formally-verified in Coq

GitHub

52 stars
5 watching
1 forks
Language: Coq
last commit: about 7 years ago