pluto

A web server written in Coq.

GitHub

86 stars
9 watching
1 forks
Language: Coq
last commit: about 8 years ago