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

Merge pull request #1 from GTBarkley/grant

Browse source 
add readme
This commit is contained in:
GTBarkley 2023-06-09 20:16:56 -07:00 committed by GitHub
commit deab6dde8b
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
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