Published May 24, 2018
| Version 0.1
Software
Open
ARQNL 2018 accompanying code for "A Simple Semi-automated Proof Assistant for First-order Modal Logics"
Description
The file contains the prototype described in the paper.
Files
Files
(7.0 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:a8c8a39646c1e71943d1c9a8e5d0556b
|
7.0 kB | Download |