lean-ja
定理証明支援系 Advent Calendar 2023 #34
iehality
started this conversation in
Announce Event
Replies: 1 comment
-
|
@iehality 共有ありがとうございます |
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
以下のアドベントカレンダーを開きました。技術的な話題, 定理証明支援系による実装, 証明支援系周縁の数学（数学基礎論、論理学、型理論, HOTT）など受け付けています。よかったらご参加ください。
https://adventar.org/calendars/9022
良かったらご参加ください
Beta Was this translation helpful? Give feedback.
All reactions