ATS/LF for Coq Users #1 Post by typish » Sun, Sep 13, 2015, 12:15 AM UTC ATS/LF for Coq Usersslideshare.net