What about lean?

def main : IO Unit := IO.println "Hello, world!"

Also Coq was renamed to Rocq