Repository navigation

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

Open

loefflerd wants to merge 4 commits into

LeanPool:mainfrom

loefflerd:codex/CI-environment-axiom-audit

Open

fix axiom-audit checker to use Lean env rather than source parsing#719
loefflerd wants to merge 4 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