LeventErkok/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
HaskellNOASSERTION
Stargazers
- 3nochIndiana
- 573Leipzig
- AD1024@PrincetonUniversity
- amarpotghanLondon
- aurelienpepinFrance
- benjaminselfridge
- bolt12@well-typed
- bts@dropbox
- dmjioAustin, TX
- ex0dus-0xNYC
- felko
- halhenke
- hengchu
- jieyouxuShanghai, China
- junjihashimotoJapan
- kflDepartment of Computer Science, University of Copenhagen @diku-dk
- kubek2k
- librerushSteppe
- luc-tielenLambda Tech
- masaeeduMontreal, QC, Canada
- metric-space@arcee-ai
- MVozZer0
- nikivazouIMDEA
- NorfairKingCS Kerckhove
- philzook58
- rashadg1030Los Angeles, California
- retSeattle, WA
- romanb
- sdiehlLondon
- snowleopardJane Street
- timothyklim
- ur5usUnfolding Web
- vaibhavsagargadigal land/sydney
- valpackettArgentina ⭐⭐⭐
- vmileshkinMoscow
- yaman@skydome