2024-12-14T14:10:19Z - 2024-12-21T14:10:19Z
Overview
Excluding merges,
0 authors
have pushed
0 commits
to dev and
4 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