ml@gentoo.org ML sci-mathematics@gentoo.org Gentoo Mathematics Project psmt2-frontend is an OCaml library to parse and type-check a conservative extension of the SMT-LIB 2 standard with prenex polymorphism. https://github.com/ACoquereau/psmt2-frontend/issues/ ACoquereau/psmt2-frontend