Comment by teach 14 hours ago Sounds like Ada. A lot of the time, once you got your code to compile, it would work. 1 comment teach Reply kaladin-jasnah 9 hours ago What about Lean?
What about Lean?