Comment Comment by lucioperca You can also verify software like compilers in Lean:https://aws.amazon.com/blogs/opensource/lean-into-verified-s... parent lucioperca 2 years ago
https://aws.amazon.com/blogs/opensource/lean-into-verified-s...