4 commits

Author	SHA1	Message	Date
Barrett Ruth	16850cf468	fix(ci): proper types	2025-11-09 14:53:56 -05:00
Barrett Ruth	285f0ef1e0	fix: format	2025-10-08 21:18:36 -04:00
Barrett Ruth	81fca03582	organize	2025-10-08 00:02:00 -04:00
Barrett Ruth	f0c1c15002	feat(proofs): some proofs	2025-06-22 14:22:12 -05:00