=
|
70c5dd4621
|
Add Programming in Martin-Lof’s Type Theory book
|
2020-10-02 02:43:46 +07:00 |
|
Cyrille Rossant
|
2a9abd9160
|
Merge pull request #54 from Kratacoa/patch-3
LO: added "Open Logic Text"
|
2020-09-18 11:38:53 +02:00 |
|
Kratacoa
|
7dc72b3eac
|
LO: added "Open Logic Text"
|
2020-09-15 17:34:19 +02:00 |
|
Kratacoa
|
a0421a5385
|
CT: added "Category Theory in Context" by E. Riehl
|
2020-09-15 17:30:22 +02:00 |
|
Jack Dolgin
|
253f054205
|
Update README.md
|
2020-08-06 01:21:48 -04:00 |
|
Jack Dolgin
|
84be22868d
|
Update README.md
|
2020-08-04 13:31:35 -04:00 |
|
Jack Dolgin
|
1e59467d18
|
Update README.md
|
2020-08-03 10:56:30 -04:00 |
|
Jack Dolgin
|
07c4472c5b
|
Update README.md
|
2020-08-03 00:23:14 -04:00 |
|
Jack Dolgin
|
a4efb6fe5a
|
Update README.md
|
2020-08-02 19:12:59 -04:00 |
|
Kernel Soe
|
4dbbff656c
|
Added a Maths Blog
|
2020-07-16 11:28:29 +09:00 |
|
zach valenta
|
8ff01979a4
|
add 'Think DSP' by Allen B. Downey
|
2020-07-02 16:55:01 -04:00 |
|
Muhamad Novan Aulia Zam Zami
|
2b53ad1826
|
Add Ian Stewart's Galois Theory book
|
2019-10-16 14:28:22 +07:00 |
|
Muhamad Novan Aulia Zam Zami
|
036e1b7da7
|
Add Type Theory and Functional Programming book
|
2019-10-15 08:59:04 +07:00 |
|
Muhamad Novan Aulia Zam Zami
|
527fe80ee2
|
Add Intuitionistic Type Theory book
|
2019-10-14 23:57:14 +07:00 |
|
Muhamad Novan Aulia Zam Zami
|
61e250a4d5
|
Add Proofs and Types book
|
2019-10-14 15:14:47 +07:00 |
|
Cyrille Rossant
|
f6c9c554c8
|
Merge pull request #43 from haseebalam/patch-1
Update README.md
|
2019-10-12 17:27:48 +02:00 |
|
shreyas1599
|
b36b8fc777
|
added book for Number Theory
added David M. Burton's "Elementary Number Theory"
|
2019-10-11 19:28:30 +05:30 |
|
Haseeb Alam
|
bad8bb3a5a
|
Update README.md
have aded one more resources.
|
2019-09-08 01:22:09 +05:30 |
|
Atul Shukla
|
2212366b96
|
Update README.md
Added Linear algebra resource - http://immersivemath.com/ila/index.html
|
2019-08-02 14:50:26 +05:30 |
|
Atul Shukla
|
becb348083
|
Update README.md
Added Linear algebra resource. http://immersivemath.com/ila/index.html#
|
2019-08-02 14:46:56 +05:30 |
|
Adam Stankiewicz
|
4646182c23
|
Added sympy and sagemath
|
2019-05-23 19:16:03 +02:00 |
|
Cyrille Rossant
|
14a694dad8
|
Fixes broken link (closes #40)
|
2019-05-06 13:43:36 +02:00 |
|
Tyler Bailey
|
9c8595b4a6
|
Fix typo
|
2019-04-08 20:43:39 -05:00 |
|
tyler bailey
|
7a8a4d467a
|
Fixed a dead link, added several suggestions
|
2019-04-08 20:39:19 -05:00 |
|
Cyrille Rossant
|
904cdf5bfd
|
Merge pull request #37 from hamzamohdzubair/master
Added a section on youtube Series.
|
2019-04-02 22:45:37 +02:00 |
|
Abhi18022
|
9e3b1a2ff1
|
Update README.md
|
2019-04-02 13:18:52 +05:30 |
|
Abhi18022
|
239a8099e6
|
Update README.md
|
2019-04-02 13:15:27 +05:30 |
|
Abhi18022
|
8a3faf1d5d
|
Update README.md
|
2019-04-02 13:13:00 +05:30 |
|
hamzamohdzubair
|
1c706a0623
|
Update README.md
|
2019-03-06 11:24:00 +05:30 |
|
hamzamohdzubair
|
e70233752f
|
Update README.md
|
2019-03-06 11:22:04 +05:30 |
|
hamzamohdzubair
|
b7fc686b41
|
Update README.md
|
2019-03-06 10:50:10 +05:30 |
|
Cyrille Rossant
|
a977b85260
|
Fix spelling in topology
Co-Authored-By: javbit <jmohamed001@gmail.com>
|
2018-11-30 14:20:18 -06:00 |
|
Javed Mohamed
|
982364209e
|
Add elementary applied toplogy
|
2018-11-29 06:12:47 -06:00 |
|
Javed Mohamed
|
0f75ea900c
|
Add the stacks project
I'm not entirely sure that it belongs under algebraic geometry, but I thought it was the best fit.
|
2018-11-18 20:16:20 -06:00 |
|
Javed Mohamed
|
6dec22c2ea
|
Add university
|
2018-10-19 18:25:17 -05:00 |
|
Javed Mohamed
|
1de45e09d6
|
Add "7 Sketches" to category theory
Also fixed a small typographical mistake for _The Joy of Cats_
|
2018-10-19 18:23:06 -05:00 |
|
João Victor S
|
659ccd381b
|
Update README.md
|
2018-07-08 13:08:39 -03:00 |
|
Rudy Khalil
|
0176fcb796
|
change the section of Introduction to Applied Linear Algebra book
|
2018-06-07 09:13:58 +02:00 |
|
Rudy Khalil
|
ee593b5d0a
|
Adding Introduction to Applied Linear Algebra book
|
2018-06-06 16:06:06 +02:00 |
|
Cyrille Rossant
|
6896296b76
|
Merge pull request #23 from skyhq/master
Added a blog relevant in K-12 system
|
2018-06-01 14:04:37 +02:00 |
|
mdave16
|
100d4938d5
|
fixing errors from comments raised
|
2018-06-01 00:10:15 +01:00 |
|
mdave16
|
301615b190
|
done everything in the list!!!!
|
2018-03-04 22:53:38 +00:00 |
|
mdave16
|
39ecf1605f
|
missing: 28, 35, 68-76
|
2018-03-04 22:26:46 +00:00 |
|
mdave16
|
a7f1e68b39
|
missing: 28, 35, 60-77
|
2018-03-04 22:05:07 +00:00 |
|
mdave16
|
bd76af85c1
|
missing: 28, 35, 44, 50+
|
2018-03-04 21:36:01 +00:00 |
|
mdave16
|
811442381a
|
missing: 28, 35, 41+
|
2018-03-02 19:35:38 +00:00 |
|
mdave16
|
f6dbd48deb
|
added up and including 22 of #26
|
2018-02-11 22:44:52 +00:00 |
|
Lars-Magnus Skog
|
e6a78c8bd2
|
Trigonometry
|
2017-12-21 13:48:51 +01:00 |
|
Cyrille Rossant
|
0b493343e7
|
Fix Theory of Statistics description
|
2017-11-29 13:15:32 +01:00 |
|
Cyrille Rossant
|
f468b70b6a
|
Update header
|
2017-11-17 16:12:38 +01:00 |
|