SinTan1729/comm_alg
1
0
Fork 0
mirror of https://github.com/GTBarkley/comm_alg.git synced 2024-12-26 07:38:36 -06:00
Code Issues Projects Releases Packages Wiki Activity

add readme

Browse source
This commit is contained in:
GTBarkley 2023-06-10 03:13:59 +00:00
parent 724c6e3009
commit 48a7a31ec3
2 changed files with 9 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
Readme.md Normal file
View file

@ -0,0 +1,3 @@
# Commutative algebra in Lean
Welcome to the repository for definitions and theorems related to Krull dimension and Hilbert polynomials.

6
comm_alg/grant.lean Normal file
View file

@ -0,0 +1,6 @@
import Mathlib.Analysis.Seminorm
def hello : IO Unit := do
IO.println "Hello, World!"
#eval hello