Code

Discrete#1

Code

Merged

klinashka merged 2 commits intomasterUniMath/Computability:masterfrom discreteUniMath/Computability:discreteCopy head branch name to clipboardNov 19, 2024

+134-5

Commits

Commits on Nov 14, 2024

• Changed import.

  klinashka

  committed
  8cfcc80

  Copy full SHA for 8cfcc80

Commits on Nov 19, 2024

• Closure properties for decidability under lists and options.

  klinashka

  committed
  bdafd5a

  Copy full SHA for bdafd5a