Coq
Trigger: !coq
Try it
Kagi would openhttps://coq.inria.fr/distrib/current/refman/search.html?q=error+handling
Run @coq in Kagi for Kagi's own results from coq.inria.fr only
URL pattern: https://coq.inria.fr/distrib/current/refman/search.html?q=query
Searches coq.inria.fr, filed under Languages (other).