Specification and verification of full functional correctnessdeepspec.org4 points·memexy··0 commentsOpen articleSaveView on HN