platex TeX LiveとVS Codeで快適pLaTeXTeXLiveplatexLatexmkVSCodeTeXTeX coqdocで日本語を含むPDFを生成するcoqdocProofCafeCoqplatexCoq
TeX LiveとVS Codeで快適pLaTeXTeXLiveplatexLatexmkVSCodeTeXTeX coqdocで日本語を含むPDFを生成するcoqdocProofCafeCoqplatexCoq