2025-06-03T23:42:13Z - 2025-07-03T23:42:13Z

Overview

20 Active Pull Requests
8 Active Issues
Excluding merges, 1 author has pushed 2 commits to dev and 58 commits to all branches. On dev, 1 file has changed and there have been 2 additions and 2 deletions.

2 Releases published by 1 user

Published v0.3.3 2025-07-01 15:42:18 -07:00

Published v0.3.2 2025-06-19 13:11:09 -07:00

18 Pull requests merged by 1 user

Merged #220 feat(frontend): Tomogram 2025-07-02 15:18:19 -07:00

Merged #227 test(repl): MVar name mismatch fix 2025-07-02 15:03:10 -07:00

Merged #223 chore: Update Lean to v4.21.0 2025-07-02 14:59:31 -07:00

Merged #226 chore: Update version to v0.3.4 2025-07-02 14:59:21 -07:00

Merged #224 doc: Remove constraint on pick_goal 2025-07-01 15:41:56 -07:00

Merged #222 fix(goal): Unknown metavariable problem during fragment initialization 2025-06-30 15:28:29 -07:00

Merged #221 feat(serial): Pickle environment delta's 2025-06-27 16:02:22 -07:00

Merged #219 feat(goal): Add unshielded tactic execution mode 2025-06-26 15:52:17 -07:00

Merged #217 feat(goal): Branch unification 2025-06-24 13:56:15 -07:00

Merged #216 feat(serial): Robust environment extension pickling 2025-06-24 13:41:06 -07:00

Merged #214 chore: Update Nix flake 2025-06-20 14:03:07 -07:00

Merged #218 chore: Update version to 0.3.3 2025-06-20 12:35:00 -07:00

Merged #215 fix: Use the correct unfold aux lemma 2025-06-20 10:21:02 -07:00

Merged #209 chore: Update Lean to v4.20.1 2025-06-18 16:39:19 -07:00

Merged #207 refactor: Use syntax tactic in unit test 2025-06-17 11:51:36 -07:00

Merged #208 feat: Output tactic invocation data to file 2025-06-17 11:42:37 -07:00

Merged #202 chore: Code cleanup 2025-06-16 13:57:27 -07:00

Merged #205 chore: Update Lean to v4.19.0 2025-06-16 13:54:09 -07:00

2 Pull requests proposed by 1 user

Proposed #211 test(repl): Long-running tests of REPL 2025-06-17 11:35:54 -07:00

Proposed #228 fix(tactic): Erase finished calc goal 2025-07-02 15:46:57 -07:00

6 Issues closed from 1 user

Closed #225 Could not load mathlib environment from saved file 2025-07-02 15:27:55 -07:00

Closed #132 Branch unification 2025-06-27 16:02:48 -07:00

Closed #188 Unshielded Tactic Execution 2025-06-26 15:58:34 -07:00

Closed #104 goal.delete exceeds max recursion depth 2025-06-18 21:15:52 -07:00

Closed #204 Pipe data extraction functions to file 2025-06-18 21:15:12 -07:00

Closed #206 Execute tactic syntax 2025-06-17 11:51:46 -07:00

2 Issues created by 1 user

Opened #210 Test long-running behaviour of the REPL executable 2025-06-17 10:30:04 -07:00

Opened #213 🖇️ Articulation and Syntax Processing 2025-06-19 13:23:40 -07:00

8 Unresolved Conversations

Open #137 🖇️ Environment Delta Pickling 2025-07-02 15:26:59 -07:00

Open #197 Goal dependency generation 2025-06-26 13:51:19 -07:00

Open #191 Code generation of recursors 2025-06-25 21:19:47 -07:00

Open #170 🖇️ Recursive Functions and Termination Proofs 2025-06-25 21:19:42 -07:00

Open #203 Pickle proof object 2025-06-25 10:46:35 -07:00

Open #117 One stop env.add 2025-06-25 10:14:37 -07:00

Open #78 Add option for Meta.ppGoal 2025-06-20 12:41:45 -07:00

Open #180 Implement MonadBacktrack for MainM and backtrack goal states as well 2025-06-16 13:54:32 -07:00