天泣記

2025-06-28 (Sat)

#1 Proof Summit 2025

発表スライド: Coq ユーザが Lean を調べてみた

[latest]