3 commits

Author	SHA1	Message	Date
Connor Olding	c5d5b03b25	all: use shed utility	2022-10-01 11:19:43 -07:00
Connor Olding	12f57f61f6	update comments and todo	2022-09-23 15:39:25 -07:00
Connor Olding	2280df8fc0	add cosmo-yices	2022-09-23 14:15:02 -07:00