2025-06-30T23:35:34Z - 2025-07-03T23:35:34Z

Period: 3 days

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

Overview

6 Active Pull Requests

1 Active Issue

5
Merged Pull Requests 1
Proposed Pull Request 1
Closed Issue 0
New Issues

Excluding merges, 1 author has pushed 1 commit to dev and 8 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

5 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

1 Pull request proposed by 1 user

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

1 Issue closed from 1 user

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

1 Unresolved Conversation

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