„Why not just use Lean?“ Von Hackernews 27. April 2026 security ORIGINAL QUELLE:lawrencecpaulson.github.io Quelle: Hackernews Comments Tags: comments, evan, justice, Security