# Checker
# 2026-09-09 f655a39d bun bend2/docs/gen_pins.ts checker; isabelle kept from 2026-09-02 0bf427f, not measured

| bench         | Isabelle | Agda     | Lean     | Rocq     | Bend     |
|---------------|----------|----------|----------|----------|----------|
| defs_12800    | >300s    | >300s    |  36.177s |   5.985s |   0.295s |
| generics_3200 | >300s    | >300s    |  19.214s |   6.038s |   0.384s |
| proofs_3200   | >300s    | >300s    | >300s    |   9.526s |   0.834s |
| trees_400     |   8.475s |   3.266s |   1.335s |   1.339s |   0.606s |