GitHub repository: lean-ja/math-in-type-theory-ja
Primary language: Handlebars
Created: 2023-09-04T13:08:23Z
Description: Xena の記事「Mathematics in type theory」の非公式日本語訳です．