2 ms·Many use Z3 for type checking like F*, Liquid Haskell, Dafny.by ngruhn 1y agoMany use Z3 for type checking like F*, Liquid Haskell, Dafny.