| ▲ | ants_everywhere 10 days ago | ||||||||||||||||
Does it actually? | |||||||||||||||||
| ▲ | kevindamm 10 days ago | parent | next [-] | ||||||||||||||||
The first thing this thread made me think of: It's been around for decades.. I'm sure there are other similar systems. | |||||||||||||||||
| |||||||||||||||||
| ▲ | adastra22 10 days ago | parent | prev [-] | ||||||||||||||||
There are many variations, but I’m on mobile rn. (Is this the new Fermat’s last theorem?) But seriously, the idea of breaking claims into logic and using programming languages to check, compose, and verify claims is kinda the reason logical programming languages like prolog were invented. | |||||||||||||||||