commit 26b032b76937c884b716845c69ad210c0cbfb0dc
Author: Kaustubh Maske Patil <37668193+nikochiko@users.noreply.github.com>
Date:   Thu May 8 14:21:00 2025 +0530

    initial commit

diff --git a/Hello.lean b/Hello.lean
new file mode 100644
index 0000000..5e8c309
--- /dev/null
+++ b/Hello.lean
@@ -0,0 +1 @@
+def main : IO Unit := IO.println "Hello, world!"