7 commits

This branch

This branch

All branches

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