Repository navigation

fix axiom-audit checker to use Lean env rather than source parsing - #719

Merged

Vilin97 merged 6 commits into

LeanPool:mainfrom

loefflerd:codex/CI-environment-axiom-audit

Nov 5, 2026

Merged

fix axiom-audit checker to use Lean env rather than source parsing#719
Vilin97 merged 6 commits into
LeanPool:mainfrom
loefflerd:codex/CI-environment-axiom-audit

Commits on Oct 25, 2026
- fix axiom-audit checker using Lean env rather than source parsing
  loefflerd
  committed
  db90366
- remove leftover code from prev draft
  loefflerd
  committed
  3eca1ad
- move to Lean CI step
  loefflerd
  committed
  0f93970
Commits on Oct 26, 2026
- filter out unsafe defs (`deriving Repr` etc)
  loefflerd
  committed
  e9e4f76
Commits on Nov 4, 2026
- Merge remote-tracking branch 'upstream/main' into codex/CI-environment-axiom-audit
  loefflerd
  committed
  90e2584
- Merge remote-tracking branch 'upstream/main' into codex/CI-environment-axiom-audit
  loefflerd
  committed
  1ef7ec4