2024-12-15T01:36:27Z - 2024-12-22T01:36:27Z
Overview
Excluding merges,
0 authors
have pushed
0 commits
to dev and
6 commits
to all branches.
On dev,
0 files
have changed
and there have been
0 additions
and
0 deletions.
2 Pull requests proposed by 1 user
Proposed
#148 fix: Unnecessary instantiation call
Proposed
#149 feat: Simplify sexp printing
3 Issues created by 1 user
Opened
#147 Move Tactics to a Standalone Library
Opened
#150 Allow LSP-like behaviour of finding definition location via symbol
Opened
#151 Add unsafe detection in goal.print