Michael Goulet
|
44040a0670
|
Also passthrough for projection clauses
|
2024-06-12 19:10:02 -04:00 |
|
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 |
|