23 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
tonitch	cf72d100c6	.	2022-11-15 22:38:44 +01:00
tonitch	c730f7695c	Calculus début	2022-11-11 17:30:23 +01:00
tonitch	ade3d8ddd9	.	2022-11-11 15:44:27 +01:00
tonitch	d4e6bfb6b2	preuve	2022-11-11 15:30:45 +01:00
Debucquoy	f661952a39	preuve par contrapose	2022-10-24 11:33:17 +02:00
Debucquoy	1fd58becf2	preuve par contrapose	2022-10-24 11:32:29 +02:00
tonitch	ea004dcef7	fixup! fixup! .	2022-10-23 20:39:48 +02:00
tonitch	cdb3804108	fixup! .	2022-10-21 13:54:20 +02:00
tonitch	960cac9eb1	.	2022-10-21 12:27:31 +02:00
tonitch	e6bafd469a	sqrt	2022-10-19 23:30:22 +02:00
tonitch	1af0a823a4	fixup! intro + les plans	2022-10-19 21:20:32 +02:00
tonitch	05767cdf81	intro + les plans	2022-10-19 21:19:45 +02:00
Debucquoy	5f62ebed1c	geo and logi; ineq missing	2022-10-18 12:14:58 +02:00
Debucquoy	5f5dd1e62c	.	2022-10-17 19:53:41 +02:00
Debucquoy	55dd90cddf	adding second degres	2022-10-15 14:56:17 +02:00
tonitch	55f61bf7d1	ineq et ensemble du 13 oct	2022-10-14 12:56:02 +02:00
tonitch	9a3ee00a16	push droite not finished	2022-10-12 20:37:54 +02:00
tonitch	3ca7ce69fb	Adding stuff to system from today's class	2022-10-11 23:46:41 +02:00
tonitch	21ab2e41ae	geo/systems + ineq/abs + logique/ensembles Done	2022-10-10 21:51:13 +02:00
Debucquoy	5dfd030579	temp	2022-10-10 18:27:18 +02:00
tonitch	c5dab54425	test	2022-10-09 20:01:01 +02:00
Debucquoy	da9bf30edd	temp	2022-09-22 20:07:55 +02:00
tonitch	3b402e4c07	First Commit, Meca todo	2022-09-21 22:53:50 +02:00