Skip to content

verify: Replay obligation archives into Lean projects, bounded modules included - #67

Merged
SwayamInSync merged 139 commits into
mainfrom
fix/lean-replay
Oct 24, 2026
Merged

verify: Replay obligation archives into Lean projects, bounded modules included#67
SwayamInSync merged 139 commits into
mainfrom
fix/lean-replay

Commits

  1. Commits on Oct 24, 2026