Hacker News new | ask | show | jobs
by nhatcher 39 days ago
What about lean?

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

Also Coq was renamed to Rocq