[ prog / sol / mona ]

prog

frontpage - thread list - new thread - preferences - ?

How to prove that my web app is correct

2 2021-10-06 16:44

A know of an example: http://coq-blog.clarus.me/a-blog-engine-written-and-proven-in-coq.html

Not sure how practical it is.