GitHub repository: nikivazou/safe-coupling
Primary language: Haskell
Description: Verification of SGD