Lean Kernel Arena / nanoda / corner-cases/large-elim-maybe-prop

Checker: nanoda · Version: 0da9f98 · 📄 Declaration · 🔗 Source

Test: corner-cases/large-elim-maybe-prop · Expected: 🤷 either · Size: 3.1 KB · Lines: 55 · lean4export: 3.1.0 · Lean: 4.35.0 · 📄 Declaration

Result: ✋ rejected · exit code 1 · wall time: 4.30 ms · instructions: 3.3 M · max rss memory: 3.3 MB · run 2026-11-08 07:14:24 UTC

stderr:

thread 'thread_1' (6582) panicked at src/expr.rs:455:9:
assertion `left == right` failed
  left: 2
 right: 1
note: run with `RUST_BACKTRACE=1` environment variable to display a backtrace