RDLTR

Short for Read Later. Save links from any browser or phone. Click to save, read to clear. The full tour

One topic. Every takeSeek and you shall find

Reading up on Rocq (Coq)

1 deep · digging since dec 24, 25

  • alperenkeles.com favicon
    Test, don't (just) verify

    AI-assisted formal verification shows promise but faces limitations — autoformalization trust, proof assistant speed, and model complexity — making random testing a necessary complement.