Automatically synchronize and translate subtitles, or create new ones by...
Formally prove properties of Haskell programs using SBV/SMT.