 Leni Aniva
|
cc74d41b15
|
feat: Congruence tactics
|
2024-05-20 10:55:52 -07:00 |
|
Leni Aniva
|
cf1289f159
|
feat: NoConfuse tactic
|
2024-05-05 13:24:29 -07:00 |
|
Leni Aniva
|
398b1c39ed
|
refactor: Common tactic execute function
|
2024-04-19 12:37:17 -07:00 |
|
Leni Aniva
|
41db295ff5
|
Rename tactic to goal and restructure
|
2023-10-15 12:31:22 -07:00 |
|
Leni Aniva
|
a86af1bc57
|
Add SemihashMap structure for goal bookkeeping
|
2023-08-27 19:53:09 -07:00 |
|
Leni Aniva
|
9c4c43a9f1
|
Remove the obsolete name field from proof tree structure
|
2023-08-26 18:50:15 -07:00 |
|
Leni Aniva
|
b2ba26528d
|
Add proof variable delta; Bump version to 0.2.1
|
2023-08-15 15:40:54 -07:00 |
|
Leni Aniva
|
7771408de1
|
Add expression sexp printing (2/2)
|
2023-08-14 21:43:40 -07:00 |