Matisa / 버전 기록Matisa · 버전 기록This extension allows Isabelle math syntax on GitHub to be appropriately typeset.다운로드할 버전 선택1.0.62018년 6월 26일MV2