Mathematics in Lean 日本語訳
  • 1. イントロダクション
  • 2. 基礎
  • 3. 論理
  • 4. 集合と関数
  • 5. 初等整数論
  • 6. 構造体
  • 7. 階層構造
  • 8. 群と環
  • 9. 線形代数
  • 10. 位相
  • 11. 微分
  • 12. 積分と測度論
  • Index
Mathematics in Lean 日本語訳
  • Search

© Copyright 2020, Jeremy Avigad, Patrick Massot.

Built with Sphinx using a theme provided by Read the Docs.