alt Hacker NewsIt may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?
Replies
tsterin • today at 5:41 AM
use https://rocq-prover.org/ for that purpose
It may be theoretically possible, but is it ergonomic and useful? Do you use Lean for your programs?
use https://rocq-prover.org/ for that purpose
I used Lean for AoC last time and it’s really good.