10 Commits

This Branch

This Branch

All Branches

Author	SHA1	Message	Date
Taneb	1edc14d2bd	Add gitignore	2024-06-24 01:21:11 +02:00
Taneb	fc605de0a6	Add that slices are unique	2024-06-22 17:13:42 +02:00
Taneb	3e2ea54030	Add a uniqueness property	2024-06-22 16:52:06 +02:00
Taneb	d2557b6967	Add triangle definitions	2024-06-22 16:51:57 +02:00
Taneb	19d2e98ef0	Define initial object structure	2024-06-20 10:25:38 +02:00
Taneb	a0a743ac71	Show that it's unique	2024-06-20 09:31:14 +02:00
Taneb	19141b121b	Add thinning from empty list	2024-06-20 09:29:49 +02:00
Taneb	c040ccadcd	Add category	2024-06-20 09:11:44 +02:00
Taneb	4f392d19b7	Add properties of basic definitions	2024-06-20 09:06:44 +02:00
Taneb	1188fb505a	Initial commit with readme and basic definitions	2024-06-20 08:57:08 +02:00