Owned by Foy Savas.
#231 in Math
73 downloads per month
38KB 539 lines
CLI for Modality, an evolving temporal modal logic
~17–26MB ~375K SLoC