mirror of
https://github.com/GTBarkley/comm_alg.git
synced 2025-04-02 20:18:03 -05:00
Merge branch 'main' into Jayden
This commit is contained in:
commit
23758e5162
1 changed files with 6 additions and 0 deletions
6
comm_alg/grant.lean
Normal file
6
comm_alg/grant.lean
Normal file
|
@ -0,0 +1,6 @@
|
|||
import Mathlib.Analysis.Seminorm
|
||||
|
||||
def hello : IO Unit := do
|
||||
IO.println "Hello, World!"
|
||||
|
||||
#eval hello
|
Loading…
Reference in a new issue