Rocqの世界

Contents:

  • イントロダクション
  • 論理
  • Bool型
  • 古典論理
  • 関係
  • 前順序
  • 冪
  • 冪の古典的性質
  • 関数
  • 一意選択公理
  • 商型
  • 有限型
  • 有限列
  • 圏
  • 関手
  • 位相空間
  • 部分関数
  • 点付き型
  • 1階論理
  • 再帰理論
Rocqの世界
  • 検索

© Copyright 2026, elpinal.

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