Add Lean 4 backend [AI-assisted]#40

Open

septract wants to merge 98 commits intorems-project:masterfrom

septract:mdd/lean-backend

Commits on Mar 6, 2026

Add Lean 4 backend

septract
and
claude
committed
Add Inhabited instance generation and fix Typ_with_sort handling

septract
and
claude
committed
Add Lean 4 backend documentation and fix missing library declarations

septract
and
claude
committed
Fix Lean library gaps and add test/build infrastructure

septract
and
claude
committed
Fix UTF-8 double-encoding, constructor scoping, and whitespace in Lean backend

septract
and
claude
committed
Fix all 7 test files: target filtering, BEq deriving, mutual inductives

septract
and
claude
committed
Audit cleanup: error handling, docs, inline annotations, bug fixes

septract
and
claude
committed
WIP: test suite infrastructure and assert emission fix

septract
and
claude
committed
Add comprehensive test suite with 25 test files and 103 runtime assertions

septract
and
claude
committed
Fix test suite: all 25 comprehensive tests pass, gitignore cleanup

septract
and
claude
committed
Fix audit findings: typ args, set order, error handling, build integration

septract
and
claude
committed
Implement missing Lean backend features: do-notation, vectors, numeric type vars

septract
and
claude
committed
Fix audit findings: string escaping, Nvar types, LemLib correctness, build system

septract
and
claude
committed

Commits on Mar 7, 2026

Commits on Mar 9, 2026

Commits on Mar 10, 2026

Commits on Apr 4, 2026

Commits on Apr 5, 2026

Commits on Apr 8, 2026

Commits on Apr 10, 2026

Commits on Apr 11, 2026

Commits on Apr 13, 2026

Use thunk-based runEffectful to prevent CSE (no C needed)

septract
and
claude
committed