关于 Coq
  • 板块学术版
  • 楼主soywcy
  • 当前回复0
  • 已保存回复0
  • 发布时间2020/11/14 17:17
  • 上次更新2023/11/5 08:04:23
查看原帖
关于 Coq
238636
soywcy楼主2020/11/14 17:17

求问 Coq 中怎么写注释？

急，谢谢

2020/11/14 17:17