GitHub repository: ncoffman22/ModalLogic
Created: 2024-04-12T23:09:08Z
Description: Library with tools for visualizing and evaluating modal sentences on Kripke frames