3 ms·
We've traded replies here on HN a couple of times. We have a lot of interest areas in common — theorem proving, software synthesis, that kind of thing.
by ScottBurson 7y ago
We've traded replies here on HN a couple of times. We have a lot of interest areas in common — theorem proving, software synthesis, that kind of thing.
- YeGoblynQueenne 7y agoAh, thanks. Well, keep up the good work :)