Code

feat(Modal): Add some extensons of 𝐍#90

Code

Draft

SnO2WMaN wants to merge 8 commits intomasterFormalizedFormalLogic/Foundation:masterfrom plon-rosser-and-4FormalizedFormalLogic/Foundation:plon-rosser-and-4Copy head branch name to clipboard

+628-17

Commits

Commits on Aug 27, 2024

• Some extensons of 𝐍

  SnO2WMaN

  committed
  625c054

  Copy full SHA for 625c054

• fix about system change

  SnO2WMaN

  committed
  acaf6d7

  Copy full SHA for acaf6d7

• fix(Modal): Remove neg abbrev (wip)

  SnO2WMaN

  committed
  1963a1f

  Copy full SHA for 1963a1f

• intuitional rewrite

  SnO2WMaN

  committed
  95cb51c

  Copy full SHA for 95cb51c

• update

  SnO2WMaN

  committed
  8fac973

  Copy full SHA for 8fac973

• Update

  SnO2WMaN

  committed
  b08fe65

  Copy full SHA for b08fe65

• wip

  SnO2WMaN

  committed
  9865896

  Copy full SHA for 9865896

• fx

  SnO2WMaN

  committed
  b9359b3

  Copy full SHA for b9359b3