P Poudlardo Joined 5 years ago Karma 309 Submissions 33 Member since Aug 2 Sysadmin DevOps Paris, France View on Hacker News
Leanstral: Open-source agent for trustworthy coding and formal proof engineering m mistral.ai 783 Poudlardo 7 months ago 191 comments