雪夜のともしび

コンピュータと一緒に証明しよう！

------------------------------------------------

❄ Rocq  とは
証明支援システムのひとつ。数学などにおける証明を機械的にチェックするために開発されました。証明を書くためのプログラミング言語とイメージすると分かり易いかも。

------------------------------------------------

❄ 合成音声
VOICEVOX : WhiteCUL

❄お借りしている素材
バナーの立ち絵 : akihiyo様

------------------------------------------------

❄ 管理人について
Rocqのユーザーの一人です。このチャンネルを通して、視聴者の皆様と勉強していけたらと思っています！