Trinity: An autoformalization system for verified superintelligencemorph.so3 points·artninja1988··0 commentsOpen articleSaveView on HN