Cogent: Code and Proof Co-Generationgithub.com2 points·tluyben2··0 commentsOpen articleSaveView on HN