Modern CoqことSSReflectを使えるようになるように勉強するのが目的の勉強会コミュニティです。