2 ms·
The website tells me it's simple over and over but not what it is. What're the semantics? Which mathematical system is this? What can it prove?
by JonChesterfield 1y ago
The website tells me it's simple over and over but not what it is. What're the semantics? Which mathematical system is this? What can it prove?
- litexlang 1y agoThank you Jon, I will put the semantics and the mathematical system behind online soon! Just give me some time!