2025-07-06T08:19:34Z - 2025-07-13T08:19:34Z

Overview

9 Active Pull Requests
6 Active Issues
Excluding merges, 1 author has pushed 1 commit to dev and 21 commits to all branches. On dev, 1 file has changed and there have been 1 addition and 1 deletion.

1 Release published by 1 user

Published v0.3.4 2025-07-11 20:55:24 -07:00

8 Pull requests merged by 1 user

Merged #237 chore: Update version to 0.3.5 2025-07-12 12:09:33 -07:00

Merged #236 doc: Remove stale documentation 2025-07-11 20:17:54 -07:00

Merged #235 fix(frontend): Tomograph compilation 2025-07-11 19:44:25 -07:00

Merged #229 feat(frontend): Command-level frontend.process 2025-07-11 16:05:57 -07:00

Merged #233 refactor: Use consistent error handling 2025-07-11 15:01:44 -07:00

Merged #232 feat: Display Message metadata 2025-07-10 11:45:45 -07:00

Merged #231 feat(repl): Replace StdIO when executing IO-based monads 2025-07-08 14:30:51 -07:00

Merged #228 fix(tactic): Erase finished calc goal 2025-07-07 14:49:11 -07:00

1 Pull request proposed by 1 user

Proposed #234 feat(frontend): Refactor function 2025-07-11 16:04:18 -07:00

4 Issues closed from 1 user

Closed #98 Use MLList from Batteries 2025-07-11 21:04:53 -07:00

Closed #23 Printing fine-grained delaboration structure 2025-07-11 21:04:39 -07:00

Closed #196 Documentation about safety 2025-07-10 10:48:53 -07:00

Closed #230 Isolate std I/O streams during tactic execution 2025-07-08 14:30:51 -07:00

2 Issues created by 1 user

Opened #238 Test Lean-Repl bugs 2025-07-11 23:30:40 -07:00

Opened #239 Pending mvars cause generation of closures 2025-07-12 00:04:08 -07:00

4 Unresolved Conversations

Open #213 🖇️ Articulation and Syntax Processing 2025-07-11 17:16:17 -07:00

Open #137 🖇️ Environment Delta Pickling 2025-07-11 16:06:39 -07:00

Open #210 Test long-running behaviour of the REPL executable 2025-07-08 14:32:49 -07:00

Open #211 test(repl): Long-running tests of REPL 2025-07-08 14:32:49 -07:00