5 commits

Author	SHA1	Message	Date
lcnr	24b5466892	drop region constraints for ambiguous goals	2024-05-24 20:32:35 +00:00
Michael Goulet	3e03b1b190	Use a proof tree visitor to refine the Obligation for error reporting	2024-05-02 21:56:14 -04:00
lcnr	efa4269e54	move tests	2024-03-18 16:29:00 +01:00
lcnr	f26e1e8b63	NormalizesTo return nested goals	2024-03-18 15:53:16 +01:00
Michael Goulet	0b6b3307fc	Move project -> normalize, move normalize tests	2024-03-11 19:16:39 +00:00