Code

sync with flavor#37

Code

Merged

affeldt-aist merged 3 commits intomath-comp:mc2math-comp/trajectories:mc2from t6s:mc2t6s/trajectories:mc2Copy head branch name to clipboardApr 24, 2024

+1,508-8

Commits

Commits on Apr 24, 2024

• rename html -> www so that Coq's makefile does not clean it

  

  gares

  authored and

  t6s

  committed
  35d1f8c

• preliminary version of Dijkstra's algorithm, based on a purported implem.

  Show description for be1bcec
  

  ybertot

  authored and

  t6s

  committed
  be1bcec

• when turning around in a cell, avoid aiming at the cell center, if possible

  

  ybertot

  authored and

  t6s

  committed
  15bb6ec