外部サイト掲載イベント
タグ
coqtokyo 第8回Coq Platform勉強会
2025/04/29 (火)19:00 - 20:00
概要・詳細
次回 Basic library files and modules management の3. Exporting a moduleから Rocq Platform Docs (旧称・Coq Platform Docs) を読みます https://rocq-prover.org/docs/rocq-docs
読んだまとめをこちらにメモしています: https://hackmd.io/ma7tv0NgRReo7ZWWqHM3zw?both