4 ms·
If axioms, facts and rules have types, these types can guide choice.
by thesz 2y ago
If axioms, facts and rules have types, these types can guide choice.
- auggierose 2y agoNot a believer in types here, sorry. I'd rather have simple theorems instead without wading through a swamp of types first. And I am sure AI will be able to handle theorems just fine.