2024-10-03T21:46:23Z - 2024-10-04T21:46:23Z
Overview
Excluding merges,
0 authors
have pushed
0 commits
to dev and
1 commit
to all branches.
On dev,
0 files
have changed
and there have been
0 additions
and
0 deletions.
1 Pull request merged by 1 user
Merged
#99 feat: Collect holes in Lean file and put them into a GoalState
1 Pull request proposed by 1 user
Proposed
#105 feat: Remove most filters on catalog
1 Issue closed from 1 user
Closed
#97 Parse and enter environment at arbitrary points of the input
1 Issue created by 1 user
Opened
#104 goal.delete exceeds max recursion depth