2024-09-27T21:44:34Z - 2024-10-04T21:44:34Z
Overview
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
Merged
#100 fix: Tactics should produce .syntheticOpaque
goals
1 Pull request proposed by 1 user
Proposed
#105 feat: Remove most filters on catalog
2 Issues closed from 1 user
Closed
#97 Parse and enter environment at arbitrary points of the input
Closed
#103 Metavariable not found bug with sorry
collection
1 Issue created by 1 user
Opened
#104 goal.delete
exceeds max recursion depth