2025-07-06T08:19:34Z - 2025-07-13T08:19:34Z
Overview
1 Release published by 1 user
Published
v0.3.4
8 Pull requests merged by 1 user
Merged
#237 chore: Update version to 0.3.5
Merged
#236 doc: Remove stale documentation
Merged
#235 fix(frontend): Tomograph compilation
Merged
#229 feat(frontend): Command-level frontend.process
Merged
#233 refactor: Use consistent error handling
Merged
#232 feat: Display Message
metadata
Merged
#231 feat(repl): Replace StdIO when executing IO-based monads
Merged
#228 fix(tactic): Erase finished calc goal
1 Pull request proposed by 1 user
Proposed
#234 feat(frontend): Refactor function
4 Issues closed from 1 user
Closed
#98 Use MLList
from Batteries
Closed
#23 Printing fine-grained delaboration structure
Closed
#196 Documentation about safety
Closed
#230 Isolate std I/O streams during tactic execution
2 Issues created by 1 user
Opened
#238 Test Lean-Repl bugs
Opened
#239 Pending mvars cause generation of closures
4 Unresolved Conversations
Open
#213
🖇️ Articulation and Syntax Processing
Open
#137
🖇️ Environment Delta Pickling
Open
#210
Test long-running behaviour of the REPL executable
Open
#211
test(repl): Long-running tests of REPL