Open Seasawher opened 3 days ago
axiom コマンドのページに追加したい
TPiL: https://aconite-ac.github.io/theorem_proving_in_lean4_ja/axioms_and_computation.html#the-law-of-the-excluded-middle-%E6%8E%92%E4%B8%AD%E5%BE%8B に丁寧な解説があるのでやればできるはず
axiom コマンドのページに追加したい
TPiL: https://aconite-ac.github.io/theorem_proving_in_lean4_ja/axioms_and_computation.html#the-law-of-the-excluded-middle-%E6%8E%92%E4%B8%AD%E5%BE%8B に丁寧な解説があるのでやればできるはず