Manage your Coq projects like a problog.zhenzhang.me2 points·izgzhen··0 commentsOpen articleSaveView on HN