|
|
|
|
|
|
by zozbot234
475 days ago
|
|
|
> Its also much harder to test for in standardized tests. You could test it using interactive proof verifiers. This would also make it a lot easier to teach, since proof verifiers can handle even very complex mathematical proof via the repeated application of a mere handful of rules. (The rules are also surprisingly similar to the familiar "plug and chug" workflow of school-level math, only with different underlying objects - lemmas and theorems as opposed to variables and expressions.) |
|
|