Taneb
/
thinnings
1
Fork 0
Code Issues 3 Pull Requests Packages Projects Releases Wiki Activity

Triangles #5

Merged
Taneb merged 3 commits from tri into main 2024-06-22 16:14:23 +01:00
Conversation 0 Commits 3 Files Changed 2 +88

3 Commits

Author SHA1 Message Date
Nathan van Doorn fc605de0a6 Add that slices are unique 2024-06-22 17:13:42 +02:00
Nathan van Doorn 3e2ea54030 Add a uniqueness property 2024-06-22 16:52:06 +02:00
Nathan van Doorn d2557b6967 Add triangle definitions 2024-06-22 16:51:57 +02:00