3 ms·
> This is why I think it be important to have a language designed to express algorithms and can be verified of correctness to a certain point. Do you mean math
by GalacticDomin8r 13y ago
> This is why I think it be important to have a language designed to express algorithms and can be verified of correctness to a certain point.
Do you mean math?
- Mgccl 13y agomathematician make errors. I want something that can be checked formally.
- GalacticDomin8r 13y ago> mathematician make errors. I want something that can be checked formally. So you mean math?