coqbot. IRC‐Bot on Coq. Proof of concept.

github.com/rzrn/coqbot

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.