3 ms·What4: A library to help build verification and program analysis tools56 points by lelf 6y agos7r7 6y agoLooks interesting, perhaps I missed it but it is unclear what license it is released under.mrkeen 6y agoBSD-3-clause https://hackage.haskell.org/package/what4-1.0/src/LICENSE https://hackage.haskell.org/package/what4-1.0/src/LICENSE