From literate-unitb created by [aminb](https://github.com/aminb) : unitb/literate-unitb#18 Originally reported by: **Simon Hudon (Bitbucket: [cipher2048](https://bitbucket.org/cipher2048), GitHub: Unknown)** --- ... to avoid serializing proof obligations --- - Bitbucket: https://bitbucket.org/literateunitb/literate-unitb/issue/18
From literate-unitb created by aminb : unitb/literate-unitb#18
Originally reported by: Simon Hudon (Bitbucket: cipher2048, GitHub: Unknown)
... to avoid serializing proof obligations