GTBarkley
|
23758e5162
|
Merge branch 'main' into Jayden
|
2023-06-10 16:32:29 -07:00 |
poincare-duality
|
c2a362500f
|
add things to do
|
2023-06-10 16:09:51 -07:00 |
|
poincare-duality
|
dab1195317
|
Merge branch 'main' of https://github.com/GTBarkley/comm_alg
|
2023-06-10 15:59:27 -07:00 |
|
GTBarkley
|
d28fcc1b57
|
Merge pull request #9 from GTBarkley/grant
added more references to mathlib to readme
|
2023-06-10 15:54:44 -07:00 |
|
GTBarkley
|
506fd9b4d6
|
added more references to mathlib to readme
|
2023-06-10 18:53:44 -04:00 |
|
GTBarkley
|
9a08a59274
|
added more references to readme
|
2023-06-10 18:40:48 -04:00 |
|
GTBarkley
|
59a056f82f
|
Merge pull request #8 from GTBarkley/grant
add more mathlib refs to readme
|
2023-06-10 15:20:06 -07:00 |
|
GTBarkley
|
c95b28d69c
|
add more mathlib refs to readme
|
2023-06-10 18:19:33 -04:00 |
|
GTBarkley
|
73a1edf070
|
Merge pull request #7 from GTBarkley/grant
added bullets and the definition of an ideal from mathlib
|
2023-06-10 12:22:29 -07:00 |
|
GTBarkley
|
223660606b
|
added bullets and the definition of an ideal from mathlib
|
2023-06-10 15:21:22 -04:00 |
Monalisa Dutta
|
da84257eb1
|
Merge pull request #6 from GTBarkley/monula95-patch-3
Update README.md
|
2023-06-10 11:48:49 -07:00 |
|
Monalisa Dutta
|
56880e2c26
|
Update README.md
|
2023-06-10 11:48:40 -07:00 |
|
Monalisa Dutta
|
ae42ad8809
|
Merge pull request #5 from GTBarkley/monula95-patch-2
Update README.md
|
2023-06-10 10:27:16 -07:00 |
|
Monalisa Dutta
|
36fbac8502
|
Update README.md
|
2023-06-10 10:27:04 -07:00 |
|
monula95
|
e82236bb2c
|
Merge pull request #4 from GTBarkley/monula95-patch-2
Update README.md
|
2023-06-10 10:19:01 -07:00 |
|
monula95
|
094826ab42
|
Update README.md
|
2023-06-10 10:18:47 -07:00 |
leopoldmayer
|
1fd4e29c87
|
added statements of lemmas we'd like to prove
|
2023-06-10 08:13:10 -07:00 |
|
leopoldmayer
|
97d219fe21
|
added resources file to dump useful links
|
2023-06-10 07:27:37 -07:00 |
|
leopoldmayer
|
b0b3bdceb3
|
removed unnecessary file
|
2023-06-10 06:58:23 -07:00 |
GTBarkley
|
d736cf81b3
|
merged readme files
|
2023-06-10 04:27:40 +00:00 |
ssavkar1
|
f2270a009e
|
Merge pull request #3 from GTBarkley/ssavkar1-patch-2
Update README.md
|
2023-06-09 21:05:21 -07:00 |
|
ssavkar1
|
accf75c663
|
Update README.md
Formatted the list to make it readable.
|
2023-06-09 21:05:03 -07:00 |
|
ssavkar1
|
73d36c2514
|
Merge pull request #2 from GTBarkley/ssavkar1-patch-1
Create README.md
|
2023-06-09 20:51:47 -07:00 |
|
ssavkar1
|
3a45dc52d7
|
Create README.md
First draft of the Readme file. It is just a list of things to do but need to be more descriptive.
|
2023-06-09 20:51:11 -07:00 |
|
GTBarkley
|
deab6dde8b
|
Merge pull request #1 from GTBarkley/grant
add readme
|
2023-06-09 20:16:56 -07:00 |
|
GTBarkley
|
48a7a31ec3
|
add readme
|
2023-06-10 03:13:59 +00:00 |
|
poincare-duality
|
5bbb84f5f1
|
Give it a try
|
2023-06-09 17:40:22 -07:00 |
monula95 dutta
|
3ed659a6ad
|
test push
|
2023-06-10 00:21:01 +00:00 |
|
monula95 dutta
|
fc37344614
|
my great change
|
2023-06-10 00:13:35 +00:00 |
gbarkley
|
724c6e3009
|
added gitpod files
|
2023-06-09 16:55:01 -07:00 |
|
GTBarkley
|
646f1f9732
|
initial commit
|
2023-06-09 23:35:49 +00:00 |