Mathematics

c:mathematics

数学のC — formal proofs, the research areas, and the theorem-dependency structure.