18 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
aziis98	21d7d48b91	merged mathlib support	2023-09-29 19:48:19 +02:00
aziis98	98733eaae8	updated readme to tell about mathlib support	2023-09-29 19:46:01 +02:00
aziis98	e2c66fffca	mathlib support experiment	2023-09-29 19:21:53 +02:00
aziis98	611e6bc751	updated the readme	2023-09-29 18:19:22 +02:00
aziis98	b77d0c7aec	updated the readme	2023-09-29 17:44:55 +02:00
aziis98	707e708805	updated readme	2023-09-29 16:19:44 +02:00
aziis98	b81615c993	updated readme	2023-09-29 16:18:54 +02:00
aziis98	71d01c8d06	updated readme	2023-09-29 16:17:29 +02:00
aziis98	b08be92fda	updated readme	2023-09-29 16:16:11 +02:00
aziis98	92d7e249ac	updated readme	2023-09-29 15:54:57 +02:00
aziis98	aee2b8ccb4	updated readme	2023-09-29 15:53:20 +02:00
aziis98	5cdb97c465	updated readme	2023-09-29 13:51:07 +00:00
aziis98	ee142c7d63	updated readme	2023-09-29 15:49:06 +02:00
aziis98	baf5073b42	updated the readme	2023-09-29 15:35:25 +02:00
aziis98	ec88f8065b	ehm fix	2023-09-29 13:55:16 +02:00
aziis98	4726885732	updated codespace link	2023-09-29 13:16:08 +02:00
aziis98	0296bb851a	simplified an example	2023-09-29 13:12:50 +02:00
aziis98	d210579028	initial commit	2023-09-29 13:11:59 +02:00