Formal logic is a pl, where a string being properly compiled means that it is a correct mathematical proof it's also a pl where people have tried to make the compiler as small and simple as…
Posters: natural_hazard. natural_hazard
2 likes recorded by the source corpus.
View Post: https://x.com/natural_hazard/status/1243564883104403456