 Bram van den Heuvel
|
ea47c34308
|
Create initial proof builder POC
|
2026-07-13 16:48:56 +02:00 |
|
Bram van den Heuvel
|
66beff5792
|
Create contains, eq and replace operations
|
2026-07-12 16:05:26 +02:00 |
|
Bram van den Heuvel
|
dcad494c7d
|
Attempt to implement basic library
|
2026-07-10 00:03:47 +02:00 |
|
Bram van den Heuvel
|
cbf8e29a84
|
Generalize normalize function
|
2026-07-10 00:03:13 +02:00 |
|
Bram van den Heuvel
|
eeac39a4fa
|
Refactor terms module
|
2026-07-09 22:59:14 +02:00 |
|
Bram van den Heuvel
|
fa9d4f0a83
|
Add new design for proof checker
|
2026-07-09 12:38:37 +02:00 |
|
Bram van den Heuvel
|
362e82474c
|
Create a proof BUILDER more than a checker - lol
|
2026-07-05 23:10:09 +02:00 |
|
Bram van den Heuvel
|
16490af209
|
Commit working changes (attempted scripts)
|
2026-07-05 17:36:53 +02:00 |