Typed_Prolog_Formalization The repository will contain formalizations and testing implementations relating to typed prolog. Things Formalization of type system Typed prolog program generator (Haskell) Proof of correctness of type system