過ぎるだけの時間じゃ悔しい
Search
Search
Dark mode
Light mode
Explorer
idris
1 item with this tag.
Jun 28, 2026
証明支援系（Coq / Agda / Lean / Isabelle / Idris）
proof-assistant
theorem-proving
coq
agda
lean
isabelle
idris
formal-methods