SinTan1729
/
comm_alg
mirror of https://github.com/GTBarkley/comm_alg.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
comm_alg/CommAlg.lean

5 lines
49 B
Plaintext
Raw Permalink Normal View History

my great change
2023-06-09 19:13:24 -05:00
import Mathlib
test push
2023-06-09 19:21:01 -05:00
def hello := "world"
#print "hi"