Code

Formal BBox struct#377

Code

Open

benjamin051000 wants to merge 1 commit intolouis-e:mainlouis-e/arnis:mainfrom benjamin051000:formalize-bboxbenjamin051000/arnis:formalize-bboxCopy head branch name to clipboard

+186-106

Commits

Commits on Feb 24, 2025

• Formal bounding box type BBox.

  Show description for cbf8c53
  benjamin051000

  committed
  cbf8c53

  Copy full SHA for cbf8c53