Checker "con-agua" on test "cedar"
Checker: con-agua · Version: 7166eda · 📄 Declaration · 🔗 Source
Test: cedar · Expected: 👍 accept · Size: 832.0 MB · Lines: 15.3 M · lean4export: 3.1.0 · Lean: 4.34.1 · Timeout: 15.7 min · 📄 Declaration · 🔗 Source
Result: 🚫 declined · exit code 2 · wall time: 7.74 s · instructions: 105.1 G · max rss memory: 1.6 GB · run 2026-10-27 00:34:48 UTC
stdout:
declined: non-standard axiom (…); con-leche does not support such axioms at the moment