aztlek / GuacariModal

Project infos

License	MIT
Tags	modal logic, theorems prove, automatic theorems demonstrator.
Creation date	2018-08-13
Website	https://guacarimodal.org/

Monticello registrationMCHttpRepository location: 'http://smalltalkhub.com/mc/aztlek/GuacariModal/main' user: '' password: ''

About GuacariModal