proof-ninja / coqpad

証明検索No.1／定理の証明載せるなら コックパッド

Geek Repo

Github PK Tool