Code

Fixed temporal_deep tests#1180

Code

Merged

mn200 merged 1 commit intoHOL-Theorem-Prover:developHOL-Theorem-Prover/HOL:developfrom binghe:mosml_examplesbinghe/HOL:mosml_examplesCopy head branch name to clipboardJan 17, 2024

+4-2

Commits

Commits on Jan 16, 2024

• FTBFS HolBdd and temporal_deep examples

  binghe

  committed
  88e6ebb

  Copy full SHA for 88e6ebb