feat(cont): prove CONT-2 justifiable iff distance is window, square, or pronic - #37

feat(cont): prove CONT-2 justifiable iff distance is window, square, or pronic#37

adust09 merged 1 commit into

mainNyxFoundation/formal-leanSpec:mainfrom

feat/cont-2-justifiable-iffNyxFoundation/formal-leanSpec:feat/cont-2-justifiable-iffCopy head branch name to clipboard