vatt'ghern jaskier's ballads

#proof-assistant

1 post tagged proof-assistant.

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