Issues · WillEhrendreich/SageFs · GitHub

Labels Milestones New issue

[Lean Squad] feat(fv): HotReloadState Lean spec + CI workflow (Task 3/4/5 + Task 9)

agentic-workflows

#78

· github-actions opened

on May 1, 2026

[Repo Assist] Monthly Activity 2026-05

#77

· github-actions opened

on May 1, 2026

[Lean Squad] feat(fv): HotReloadState formal spec + restore 7 Lean targets + lean-ci

agentic-workflows

#76

· github-actions opened

on May 1, 2026

[Lean Squad] feat(fv): RingBuffer Lean 4 spec, CI workflow, and target updates

agentic-workflows

#75

· github-actions opened

on Apr 30, 2026

[Lean Squad] feat(fv): HotReloadState formal spec (Task 2 + Task 3) — 18 theorems, 0 sorry

agentic-workflows

#74

· github-actions opened

on Apr 30, 2026

[Lean Squad] feat(fv): HotReloadState Lean 4 spec — 23/23 proved, 0 sorry + CI

agentic-workflows

#73

· github-actions opened

on Apr 30, 2026

[Lean Squad] feat(fv): correspondence review for all 7 targets + lean-ci.yml

agentic-workflows

#72

· github-actions opened

on Apr 29, 2026

[Lean Squad] feat(fv): add all 7 Lean specs (111 theorems, 0 sorry) + proof utility critique + CI

agentic-workflows

#71

· github-actions opened

on Apr 29, 2026

[Lean Squad] feat(fv): HotReloadState formal spec + proofs + lean-ci.yml (Task 3 + Task 9)

agentic-workflows

#70

· github-actions opened

on Apr 29, 2026

[Lean Squad] feat(fv): SessionLifecycle Lean 4 spec — 16 theorems, 0 sorry

agentic-workflows

#69

· github-actions opened

on Apr 28, 2026

[Lean Squad] feat(fv): EvalPipeline spec + correspondence review + eliminate ResultEx sorries (0 sorry, 6 Lean files)

agentic-workflows

#68

· github-actions opened

on Apr 28, 2026

[Lean Squad] Formal Verification Status

#67

· github-actions opened

on Apr 27, 2026