新機能技術カンファレンスをより見つけやすく、参加しやすくするための新機能「カンファレンス特集ページ」をリリースしました。「技術」や「テーマ」などのトピック別に探せるほか、直近開催予定のカンファレンスが一覧で確認できますのでご活用ください。詳しい機能説明や掲載方法についてはこちらをご確認ください。

12月

9

coqtokyo 第23回Coq Platform勉強会

主催 : yoshihiro503

募集内容	参加枠無料参加者数 6人自由発表枠無料先着順 0/2人
申込者	申込者一覧を見る
開催日時	2025/12/09(火) 19:30 ～ 21:00 Googleカレンダー icsファイル
募集期間	2025/12/07(日) 11:21 〜 2025/12/09(火) 21:00まで
会場	オンライン
参加者への情報	(参加者と発表者のみに公開されます)
出席登録	(イベント開始時間の2時間前から終了時間まで、参加者のみに公開されます)

イベントの説明

概要

次回 Hierarchy Builder の 4.Options, scope から

Rocq Platform Docs (旧称・Coq Platform Docs) を読みます https://rocq-prover.org/docs/rocq-docs

読んだまとめをこちらにメモしています: https://hackmd.io/fuqtxz-jRE2Vg53yr90E1Q?both

開催場所

google meetによるオンライン開催です。 URLは参加者と発表者に公開されます。

参加できないなど困ったときは、＠tmiya_ @khibino @eldesh @yoshihiro503にお問い合わせください。

タイムテーブル

**19:30** - 20:30 Coq Platform Docsを読む
5分休憩
20:35 - 20:50 自由発表

持ち物

Coqを動かせるPCなどの端末

ブラウザでも動かせるので、Coqのインストールは必須ではありません。

参考情報

gistのコードをjscoqで動かす coqban というもあります https://proof-ninja.github.io/coqban/?gisturl=https%3A%2F%2Fsiteproxy.ruqli.workers.dev%3A443%2Fhttps%2Fgist.github.com%2Fyoshihiro503%2F7163cfa52557cc0a6be39fdf899e19f6

Slack

気軽に質問や雑談を出来るように、coqtokyo.slack.com を試験運用しています。＠tmiya_ @khibino @eldesh @yoshihiro503 のうちのだれかに頼んで登録してもらってください。( slack でアカウントとして利用するためのメールアドレスをお知らせください )