Code

Remove duplicated section.#94

Code

Open

DeVilhena-Paulo wants to merge 1 commit intoleanprover:masterleanprover/theorem_proving_in_lean4:masterfrom DeVilhena-Paulo:masterDeVilhena-Paulo/theorem_proving_in_lean4:masterCopy head branch name to clipboard

+1-61

Commits

Commits on Jan 10, 2024

• Remove duplicated section.

  DeVilhena-Paulo

  committed
  0fca381

  Copy full SHA for 0fca381