2025-06-26T16:15:35Z - 2025-07-03T16:15:35Z

Period: 1 week

1 day 3 days 1 week 1 month 3 months 6 months 1 year

Overview

9 Active Pull Requests

3 Active Issues

8
Merged Pull Requests 1
Proposed Pull Request 3
Closed Issues 0
New Issues

Excluding merges, 1 author has pushed 1 commit to dev and 26 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.3 2025-07-01 15:42:18 -07:00

8 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

1 Pull request proposed by 1 user

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

3 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

3 Unresolved Conversations

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

Open #213 🖇️ Articulation and Syntax Processing 2025-06-30 13:03:48 -07:00

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