HOLMS
https://github.com/HOLMS-lib/HOLMS
HOL-Light
による
様相論理
の形式化．