3 ms·Coq has "admitted" (or "admit"), but sorry is of course way better :). Lean also has "admit".by ReleaseCandidat 2y agoCoq has "admitted" (or "admit"), but sorry is of course way better :). Lean also has "admit".