3 ms·Are functional programs easier to verify than imperative programs? (2018)4 points by luu 7y agoearenndil 7y ago[2018]dang 7y agoAdded. Thanks!