2015-07-22 13:13:19+00:00 Well, why *not* implement a blog engine in a theorem prover? github.com/clarus/coq-chi…