Code

feat(Modal): Boxdot Conjecture#42

Code

Draft

SnO2WMaN wants to merge 3 commits intoFormalizedFormalLogic:masterFormalizedFormalLogic/Foundation:masterfrom SnO2WMaN:boxdotSnO2WMaN/lean4-logic:boxdotCopy head branch name to clipboard

+94

Commits

Commits on Apr 14, 2024

• boxdot and boxdia, and translation

  SnO2WMaN

  committed
  f9bb80d

Commits on Jun 6, 2024

• Merge remote-tracking branch 'origin' into boxdot

  SnO2WMaN

  committed
  d621c3d

• fx

  SnO2WMaN

  committed
  87105dd