Illustration dessinée par RepoMasters à partir de l’identifiant du dépôt et de la couleur de son langage. Crédits

AlphaPeu commune

LeventErkok/sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

Propriétaire: LeventErkok (compte personnel)
Étoiles: Étoiles : 269
Forks: Forks : 51
Langage: Haskell
Licence: Aucune
Création: 2011
Sujets: haskellsmtverification
Rang: Alpha (250 à 699 ★) Ce que veut dire ce rang

Voir sur GitHub

D’autres dépôts Haskell

Tous les dépôts Haskell

denisshevchenko/ohaskell.guideÉtoiles : 270HaskellAlpha
bravit/hid-examplesÉtoiles : 270HaskellAlpha
standardsemiconductor/lionÉtoiles : 270HaskellAlpha
neovimhaskell/nvim-hsÉtoiles : 268HaskellAlpha
snoyberg/keterÉtoiles : 263HaskellAlpha
co-log/co-logÉtoiles : 263HaskellAlpha