GitHub repository: FormalizedFormalLogic/ModalLogicKite
Description: Kite of Modal Logics