3 ms·
That is pretty sweet. On a much less cool level, I've been designing a similar system to do some basic formal verification of my java code.
by yters 18y ago
That is pretty sweet. On a much less cool level, I've been designing a similar system to do some basic formal verification of my java code.