2 Commits

Author	SHA1	Message	Date
Mark	ff3f5779a5	Cleanup	2024-04-25 16:39:23 -07:00
Mark	179d06fd1e	Moved Proof techniques	2023-12-09 18:19:12 -08:00