Commit graph

Select branches

Hide pull requests

main

Mono Color

• 9240c7b899 add NatSet to its own file main mehbark 2025-04-04 19:53:23 -0400
• bf91efe29c NatSet.mem_insert mehbark 2025-04-04 12:38:06 -0400
• c9b1f534be NatSet.insert mehbark 2025-04-04 00:40:08 -0400
• 8af59af336 list_insert_sorted mehbark 2025-04-03 23:31:28 -0400
• cae2737f42 list_insert_mem mehbark 2025-04-03 23:10:34 -0400
• 3886fb9469 inductive attempt mehbark 2025-04-03 18:12:37 -0400
• 592a4b45e6 pairwise attempt mehbark 2025-04-03 17:42:08 -0400