Similar repositories to osa1/coq-in-hs: