feat: basic graph definitions#503
Open
BasilRohner wants to merge 11 commits intoleanprover:mainfrom
Open
Commits
Commits on Apr 18, 2026
- committed
- committed
- committed
- committed
- committed
- committed
- authored
- authored
Commits on Apr 19, 2026
- committed
- committed
- committed