Code

tranlated formal definitions#409

Code

Open

Kovvvalski wants to merge 4 commits intoostis-apps:feat/en_versionostis-apps/geometry.ostis:feat/en_versionfrom Kovvvalski:feat/en_versionKovvvalski/geometry.ostis:feat/en_versionCopy head branch name to clipboard

+550-133

Commits

Commits on Apr 16, 2024

• tranlated formal definitions

  Kovvvalski

  committed
  8784531

  Copy full SHA for 8784531

Commits on May 13, 2024

• translate fix

  Kovvvalski

  committed
  8241ef0

  Copy full SHA for 8241ef0

Commits on May 29, 2024

• final_fix

  Kovvvalski

  committed
  06aa695

  Copy full SHA for 06aa695

Commits on May 30, 2024

• specifications translated

  Kovvvalski

  committed
  ebb0c6f

  Copy full SHA for ebb0c6f