2025-05-13T00:24:04Z - 2025-06-13T00:24:04Z

Period: 1 month

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

Overview

0 Active Pull Requests

1 Active Issue

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

There has not been any commit activity in this period.

1 Issue created by 1 user

Opened #206 Execute tactic syntax 2025-06-09 10:12:14 -07:00

2 Unresolved Conversations

Open #205 chore: Update Lean to v4.19.0 2025-05-26 12:53:59 -07:00

Open #137 Pickle environment extensions 2025-05-17 11:22:17 -07:00