Comment Comment by cjp Speed.> The checker file records 0.295 seconds for Bend and 36.177 for Lean on its 12,800-definition fixture. https://bend2.dev/notes/what-is-bend2/ parent cjp 1 month ago
> The checker file records 0.295 seconds for Bend and 36.177 for Lean on its 12,800-definition fixture. https://bend2.dev/notes/what-is-bend2/