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 Blame History

import Mathlib
def hello := "world"
#print "hi"
Reference in New Issue View Git Blame Copy Permalink