Formal Verification meets ChatGPT: LeanDojo Posted by aseg on Thursday June 29, 2023 @03:31PM from the leandojo.org dept. https://leandojo.org/ ( no comments | 2 points | on HN )
There are no comments yet.