FLiP

HomePage: http://staff.washington.edu/jon/flip/www/

Author: jon-jacky

Download: git://github.com/jon-jacky/FLiP.git

        F L i P : Logical Framework in Python