aniva/Pantograph
aniva
/
Pantograph
1
1
Fork 0
Code Issues 13 Pull Requests 4 Packages Projects Releases Wiki Activity

refactor: Cleanup the congruence tactics #81

Merged
aniva merged 4 commits from tactic/congruence into dev 2024-06-23 13:35:36 -07:00
Conversation 0 Commits 4 Files Changed 3 +40 -10

4 Commits

Author SHA1 Message Date
Leni Aniva fbe6e8fcb3
Merge branch 'dev' into tactic/congruence 2024-06-23 13:35:07 -07:00
Leni Aniva aceee85b05
Merge branch 'env/inspect' into tactic/congruence 2024-06-16 13:46:18 -07:00
Leni Aniva f80d90ce87
fix: Goal diag missing newline character 2024-06-14 11:59:02 -07:00
Leni Aniva b3a60fcea8
refactor: Rename TacticExecute to SyntheticTactic 2024-06-13 14:25:05 -07:00