Hacker News new | ask | show | jobs
by red75prime 2778 days ago
> the lean theorem prover

Which has its share of segmentation faults (around 50 closed issues) and unknown number of corner cases with silent memory corruption/data races.