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

test push

Browse source
This commit is contained in:
monula95 dutta 2023-06-10 00:21:01 +00:00
parent fc37344614
commit 3ed659a6ad
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
CommAlg.lean
View file

@ -1,3 +1,5 @@
import Mathlib import Mathlib
def hello := "world" def hello := "world"
#print "hi"