RAIRLab/lazyslate

Or-Elim Issue

James-Oswald opened this issue a year ago · 0 comments

James-Oswald commented a year ago

This Should work:

Link:
https://james-oswald.github.io/lazyslate/?proof=N4Igdg9gJgpgziAXAbVASykgDAGnAQwFsYkQsQ8YAPABwCd440IxSAKCOgAgEEuAhAJQUQAKwCucAC5oAZmgDG+GS1L44cccRE0ITFa0SgqSAGxYAHHgCeSAMx2LAXyc50mRAEY8YIiUQgniLU9IzMhiA8IhLScorK4WoaWiR4uvqJRiAmiADsAJy5NkieACx2Lm4gGEgATD5+pLXBtAwamSD80ZIy8koGSZraaXpoA1k5+QCsU8VepViV7kizBNoBUy2h7aoBHNx8Qt2xfQm7IJwAojqj48ZIuQVzU57Orst5DesguVttTOd9rwBMI8DFevFxhc6ABJG4ZXb3PIWXAgWyIOylTxLaoeKxrfwgCx%2DMKAzjAo5gnpxfodThwkYIwxI%2DKlepo+yOFwAXTwABs0GAANYIFDIXBTXnIby5KX1CxSoqSnDIKyS7lOIA