証明

• Idrisで証明がしやすい書き方

  2022-09-17

  • Idris
  • 証明
  • 小ネタ

• Idrisといくつかの帰納法

  2021-01-01

  • Idris
  • 証明