Code

feat: try? validation and cleanup#6980

Code

Merged

leodemoura merged 4 commits intomasterleanprover/lean4:masterfrom try_tac_validationleanprover/lean4:try_tac_validationCopy head branch name to clipboardFeb 7, 2025

+129-65

Commits

Commits on Feb 6, 2025

• feat: evalAndSuggest validation

  leodemoura

  committed
  b32e894

  Copy full SHA for b32e894

• feat: simplify validation

  leodemoura

  committed
  7bb06fa

  Copy full SHA for 7bb06fa

• chore: cleanup

  leodemoura

  committed
  40db7fd

  Copy full SHA for 40db7fd

• chore: partial completionn

  leodemoura

  committed
  93cbbba

  Copy full SHA for 93cbbba