Code

Small fixes#112

Code

Closed

turibe wants to merge 6 commits intoleanprover:masterleanprover/theorem_proving_in_lean4:masterfrom turibe:small_fixesturibe/theorem_proving_in_lean4:small_fixesCopy head branch name to clipboard

+170-134

Commits

Commits on Apr 30, 2024

• Small changes, cross-reference implicit types section in FP doc

  turibe

  committed
  ff79ac2

  Copy full SHA for ff79ac2

• Better internal reference, small clarifications.

  turibe

  committed
  a80fb2f

  Copy full SHA for a80fb2f

Commits on May 1, 2024

• More small changes

  turibe

  committed
  db84222

  Copy full SHA for db84222

• Expand a little the first tactics proof example.

  turibe

  committed
  03b1083

  Copy full SHA for 03b1083

• Fix typo

  turibe

  committed
  860b347

  Copy full SHA for 860b347

Commits on May 2, 2024

• Small clarification

  turibe

  committed
  6978c64

  Copy full SHA for 6978c64