coq-chick-blog

🐣 A blog engine written and proven in Coq

GitHub

177 stars
10 watching
8 forks
Language: Coq
last commit: almost 5 years ago