定理証明支援系 Advent Calendar 2023

[iehality]

以下のアドベントカレンダーを開きました。技術的な話題, 定理証明支援系による実装, 証明支援系周縁の数学（数学基礎論、論理学、型理論, HOTT）など受け付けています。よかったらご参加ください。

https://adventar.org/calendars/9022

良かったらご参加ください

[Seasawher]

@iehality 共有ありがとうございます
題材が見つけられたら参加してみようと思います！