2024-10-01T21:29:23Z - 2024-10-04T21:29:23Z

Period: 3 days

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

Overview

3 Active Pull Requests

3 Active Issues

2
Merged Pull Requests 1
Proposed Pull Request 2
Closed Issues 1
New Issue

Excluding merges, 0 authors have pushed 0 commits to dev and 5 commits to all branches. On dev, 0 files have changed and there have been 0 additions and 0 deletions.

2 Pull requests merged by 1 user

Merged #99 feat: Collect holes in Lean file and put them into a GoalState 2024-10-03 15:43:01 -07:00

Merged #100 fix: Tactics should produce .syntheticOpaque goals 2024-10-03 08:47:31 -07:00

1 Pull request proposed by 1 user

Proposed #105 feat: Remove most filters on catalog 2024-10-04 12:59:15 -07:00

2 Issues closed from 1 user

Closed #97 Parse and enter environment at arbitrary points of the input 2024-10-03 15:43:31 -07:00

Closed #103 Metavariable not found bug with sorry collection 2024-10-03 11:51:44 -07:00

1 Issue created by 1 user

Opened #104 goal.delete exceeds max recursion depth 2024-10-03 15:49:01 -07:00