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