Code

Small proof repair + coq-action update#1

Code

Closed

caldwellb wants to merge 5 commits intofeature/rig-categoryinQWIRE/ViCAR:feature/rig-categoryfrom coqupdates/8.19.1inQWIRE/ViCAR:coqupdates/8.19.1Copy head branch name to clipboard

+24-15

Commits

Commits on Apr 17, 2024

• Small proof repair + coq-action update

  caldwellb

  committed
  8103026

  Copy full SHA for 8103026

• Undid change from %Cat to %_Cat, is a breaking change

  caldwellb

  committed
  3ef69c0

  Copy full SHA for 3ef69c0

• Updated README.md, coq-vicar.opam version, dune-project version, and coq-action version.

  caldwellb

  committed
  195647c

  Copy full SHA for 195647c

• Updated README with basic instructions for visualization.

  caldwellb

  committed
  bd6ae28

  Copy full SHA for bd6ae28

• Updated README visualization instructions

  caldwellb

  committed
  0bc61ab

  Copy full SHA for 0bc61ab