Code

Example with refinements#35

Code

Open

ecranceMERCE wants to merge 2 commits intomastercoq-community/trocq:masterfrom doc-refinementcoq-community/trocq:doc-refinementCopy head branch name to clipboard

+147-1

Commits

Commits on Feb 1, 2024

• 🚧 Try vector -> list / matrix -> array array

  ecranceMERCE

  committed
  0fc32ed

Commits on Feb 9, 2024

• Adding new files to _CoqProject

  CohenCyril

  committed
  7be474c