Commit Graph

203 Commits

Author SHA1 Message Date
Cyrille Rossant
d9207c31a4
Merge pull request #56 from novanauliazami/type-theory
Add "Programming in Martin-Lof’s Type Theory" book
2020-10-01 22:46:59 +02:00
=
70c5dd4621 Add Programming in Martin-Lof’s Type Theory book 2020-10-02 02:43:46 +07:00
Fatemeh Tarashi
28597832e0
Update readme
added some useful tools and softwares
2020-10-01 21:17:58 +03:30
Cyrille Rossant
2a9abd9160
Merge pull request #54 from Kratacoa/patch-3
LO: added "Open Logic Text"
2020-09-18 11:38:53 +02:00
Cyrille Rossant
8a7507a29d
Merge pull request #53 from Kratacoa/patch-2
CT: added "Category Theory in Context" by E. Riehl
2020-09-18 11:37:41 +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
Cyrille Rossant
efd8bf489c
Merge pull request #52 from jackdolgin/patch-1
Update README.md
2020-08-07 16:18:01 +02:00
Jack Dolgin
253f054205
Update README.md 2020-08-06 01:21:48 -04:00
Cyrille Rossant
0cb9af53ee
Merge pull request #51 from jackdolgin/master
Add textbooks
2020-08-05 10:36:09 +02: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
Cyrille Rossant
94921fa30a
Merge pull request #50 from kernelsoe/calculus
Added a Maths Blog
2020-07-16 11:16:56 +02:00
Kernel Soe
4dbbff656c Added a Maths Blog 2020-07-16 11:28:29 +09:00
Cyrille Rossant
03cc56fce7
Merge pull request #49 from zachvalenta/patch-1
add 'Think DSP' by Allen B. Downey
2020-07-03 09:49:44 +02:00
zach valenta
8ff01979a4
add 'Think DSP' by Allen B. Downey 2020-07-02 16:55:01 -04:00
Cyrille Rossant
26d53ea19b
Merge pull request #48 from novanauliazami/galois-theory
Add Ian Stewart's Galois Theory book
2019-10-16 10:39:01 +02:00
Muhamad Novan Aulia Zam Zami
2b53ad1826 Add Ian Stewart's Galois Theory book 2019-10-16 14:28:22 +07:00
Cyrille Rossant
381d3703a1
Merge pull request #47 from novanauliazami/type-theory
Add Type Theory and Functional Programming book
2019-10-15 09:36:06 +02:00
Muhamad Novan Aulia Zam Zami
036e1b7da7 Add Type Theory and Functional Programming book 2019-10-15 08:59:04 +07:00
Cyrille Rossant
fa9556c722
Merge pull request #46 from novanauliazami/type-theory
Add Intuitionistic Type Theory book
2019-10-14 21:36:07 +02:00
Muhamad Novan Aulia Zam Zami
527fe80ee2 Add Intuitionistic Type Theory book 2019-10-14 23:57:14 +07:00
Cyrille Rossant
beaeb61ee1
Merge pull request #45 from novanauliazami/type-theory
Add Proofs and Types book
2019-10-14 10:40:58 +02: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
Cyrille Rossant
a817fefc36
Merge pull request #44 from shreyas1599/patch-1
added book for Number Theory
2019-10-12 17:27:07 +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
Cyrille Rossant
1339fa2578
Merge pull request #42 from atulshukla/patch-1
Added Linear algebra resource
2019-08-05 14:45:54 +02:00
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
Cyrille Rossant
72d0cd64ef
Merge pull request #41 from sheerun/patch-1
Added sympy and sagemath
2019-05-24 10:06:04 +02:00
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
Cyrille Rossant
204c3b3fd7
Merge pull request #39 from baile320/master
Fixed a dead link, added several suggestions.
2019-04-09 16:04:32 +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
Cyrille Rossant
80ab8385db
Merge pull request #38 from Abhi18022/master
Added few resources
2019-04-02 22:44:03 +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
05ac97fae8
Merge pull request #36 from javbit/patch-2
Add elementary applied toplogy
2018-11-30 21:28:41 +01:00
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