Thinking about programs from a mathematical perspective to verify correctnesscncf.io1 point·SandmanDZ··0 commentsOpen articleSaveView on HN