Available on Google PlayApp Store
曇りなき眼で見定めブログ  「直観主義型理論(ITT, Intuitionistic Type Theory)」勉強会ノート其ノ拾九「二つの集合の直和」「命題的な(?)等しさ」(予習編)

Share