> the lean theorem prover Which has its share of segmentation faults (around 50 closed issues) and unknown number of corner cases with silent memory corruptio

> 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.