2025-07-12T11:13:13Z - 2025-07-19T11:13:13Z
Overview
5 Pull requests merged by 1 user
Merged
#245 doc: Remove stale repl documentation
Merged
#244 test(frontend): Circular sorry
Merged
#242 fix(frontend): Capture local instances in MetaTranslate
Merged
#240 fix(serial): Erase closures in synthetic mvars
Merged
#237 chore: Update version to 0.3.5
3 Issues closed from 1 user
Closed
#238 Test Lean-Repl bugs
Closed
#241 Sorry capture with instances doesn't work
Closed
#239 Pending mvars cause generation of closures
1 Issue created by 1 user
Opened
#243 Potential memory leak in CompactedRegion
3 Unresolved Conversations
Open
#234
feat(frontend): Refactor function
Open
#170
🖇️ Recursive Functions and Termination Proofs
Open
#210
Test long-running behaviour of the REPL executable