ITADN
formal-land/coq-of-ocaml/Issues

Add compatibility with Coq 8.17 and 8.18

#230Pull Requestclarus 创建于 2024-01-15已合并
C
claruscommented
正文缺失(legacy 时代评论事件不带 issue 快照,或为标题类事件)
合并状态:已合并 合并于 2024-01-28 关闭于 2024-01-28 2 条评论