2 Commits

Author	SHA1	Message	Date
Noah Citron	b1d33bb9af	fix: handle proof edge cases (#3) ... * fix proof edge cases * fmt	2022-08-31 20:31:02 -04:00
Noah Citron	1d810caa92	refactor using cargo workspaces	2022-08-29 13:31:17 -04:00