One topic. Every takeSeek and you shall find

Reading up on Curry-Howard correspondence

1 deep · digging since mar 13

  • ngrislain.github.io favicon
    Don't Vibe — Prove

    Dependent types in Lean 4 unify specification and implementation, letting AI generate provably correct code while the compiler verifies correctness automatically.

read later

For all the tabs you promised to read.
Save to read. Read to clear.

Close tabs. Keep links.