Sspam: Symbolic Simplification with PAttern Matching (2017)github.com1 point·beefhash··0 commentsOpen articleSaveView on HN