Hintikka's World's repositories
hintikkasworld
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
touist_webservice
Webservice for serving touist requests
Hintikka's World is a pedagogical tool for learning modal logic, more precisely epistemic modal logic.
Webservice for serving touist requests