GitHub repository: sndtkrh/pml
Primary language: C++
Created: 2018-04-22T05:34:11Z
Description: A proof assistant for modal logic