vatt'ghern jaskier's ballads

#lean4

1 post tagged lean4.

  1. 08.02
    一個 phantom 參數，讓 kernel 收下 False