3 ms·What about lean? def main : IO Unit := IO.println "Hello, world!" Also Coq was renamed to Rocqby nhatcher 5mo agoWhat about lean? def main : IO Unit := IO.println "Hello, world!" Also Coq was renamed to Rocq