222 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Cyrille Rossant	b73fcd4b83	Fixes dead link. Closes #69	2021-03-10 16:12:46 +01:00
Cyrille Rossant	b03fab3347	Fix dead link. Closes #68	2021-03-10 08:48:52 +01:00
Cyrille Rossant	a16bd354bb	Fix dead link. Closes #67	2021-03-10 08:47:50 +01:00
Cyrille Rossant	212a0f6534	Merge pull request #66 from lventosa/new-branch ... Added new link & fixed crashed link	2021-03-05 20:53:57 +01:00
Laura Ventosa	458e680828	fixed typo	2021-03-05 19:38:42 +01:00
Laura Ventosa	d5dce09c69	Update README.md	2021-03-05 19:32:43 +01:00
Cyrille Rossant	f67ce29730	Merge pull request #64 from mostafatouny/patch-1 ... Students Lecture Notes	2021-01-08 09:48:34 +01:00
Mostafa Touny	85a95b36e8	Update README.md	2021-01-08 10:42:22 +02:00
Mostafa Touny	67c9db5129	Students Lecture Notes	2021-01-08 10:14:09 +02:00
Cyrille Rossant	a223ade110	Merge pull request #63 from mostafatouny/master ... Hammack's book of proof	2021-01-04 09:31:01 +01:00
Mostafa Touny	c7be192179	Update README.md	2021-01-04 08:04:30 +02:00
Mostafa Touny	ad7f66a968	Update README.md	2021-01-04 08:04:01 +02:00
Cyrille Rossant	b8bcbaa952	Merge pull request #59 from jackdolgin/patch-1 ... Add precalculus textbook	2020-10-03 10:24:43 +02:00
Jack Dolgin	eda3933441	Update README.md	2020-10-03 03:18:34 -05:00
Cyrille Rossant	1e34a4afc3	Merge pull request #58 from jackdolgin/patch-2 ... Add fourier textbook	2020-10-03 10:11:28 +02:00
Cyrille Rossant	58e018da4c	Merge pull request #57 from jackdolgin/patch-1 ... Add an algebra textbook	2020-10-03 10:11:20 +02:00
Jack Dolgin	eaeb80ca7f	Update README.md	2020-10-03 03:09:10 -05:00
Jack Dolgin	9f2e4d264a	Add an algebra textbook	2020-10-03 03:04:44 -05:00
Cyrille Rossant	86883ef2f9	Merge pull request #55 from FatemehTarashi/master ... Update readme	2020-10-01 22:48:42 +02:00
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