243 followers Verification papers @verif_papers SMTtoTPTP - A Converter for Theorem Proving Formats. - Peter Baumgartner http://t.co/gfqNcCrZyX 01 Aug 2015 Reply Repost Favourite