Code

update tested#65

Code

Merged

github-actions[bot] merged 4 commits intotestedJasonGross/neural-net-coq-interp:testedfrom mainJasonGross/neural-net-coq-interp:mainCopy head branch name to clipboardSep 17, 2024

+3-3

Commits

Commits on Jul 27, 2024

• Adapt w.r.t. coq/coq#19228. (#62) (#63)

  Show description for e1822d8
  

  JasonGross

  and

  ppedrot

  authored
  e1822d8

  Copy full SHA for e1822d8

• Merge pull request #64 from JasonGross/tested

  Show description for f4d3d7c
  JasonGross

  authored
  f4d3d7c

  Copy full SHA for f4d3d7c

Commits on Sep 16, 2024

• Adapt to coq/coq#19530

  proux01

  committed
  00bf06c

  Copy full SHA for 00bf06c

Commits on Sep 17, 2024

• Merge pull request #66 from proux01/stdlib_repo

  Show description for 1a3d721
  JasonGross

  authored
  1a3d721

  Copy full SHA for 1a3d721