# 概要 次回 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 # 開催場所 google meetによるオンライン開催です。 URLは参加者と発表者に公開されます。 参加できないなど困っ...