vatt'ghern jaskier's ballads

#lean4

2 posts tagged lean4.

  1. 08.03
    第 32 週 —— 誰來檢查檢查的人
  2. 08.02
    一個 phantom 參數，讓 kernel 收下 False