Hacker News
new
|
past
|
comments
|
ask
|
show
|
jobs
|
submit
login
What4: A library to help build verification and program analysis tools
(
galois.com
)
56 points
by
lelf
on July 31, 2020
|
hide
|
past
|
favorite
|
2 comments
s7r7
on July 31, 2020
[–]
Looks interesting, perhaps I missed it but it is unclear what license it is released under.
mrkeen
on July 31, 2020
|
parent
[–]
BSD-3-clause
https://hackage.haskell.org/package/what4-1.0/src/LICENSE
Consider applying for YC's Winter 2026 batch! Applications are open till Nov 10
Guidelines
|
FAQ
|
Lists
|
API
|
Security
|
Legal
|
Apply to YC
|
Contact
Search:
