Checker "con-agua" on test "other/level-index-out-of-order"
Checker: con-agua · Version: 7166eda · 📄 Declaration · 🔗 Source
Test: other/level-index-out-of-order · Expected: 👍 accept · Size: 328 B · Lines: 6 · lean4export: 0.1.0 · Lean: 4.29.1 · 📄 Declaration
Result: 🚫 declined · exit code 2 · wall time: 13.3 ms · instructions: 105.8 M · max rss memory: 8.5 MB · run 2026-10-27 00:34:48 UTC
stdout:
declined: non-standard axiom (…); con-leche does not support such axioms at the moment