SMATORE
Isabelle / HOL : 고차원 논리를위한 Proof Assistant (컴퓨터 과학 강의 노트), 단일옵션 | 스마토어