Code

Trans closure#10

Code

Open

PROgram52bc wants to merge 2 commits intoTiarkRompf:mainTiarkRompf/reachability:mainfrom PROgram52bc:mainPROgram52bc/reachability:mainCopy head branch name to clipboard

+8,946-11

Commits

Commits on Jan 5, 2024

• remove unused admitted lemma

  PROgram52bc

  committed
  dcb078c

  Copy full SHA for dcb078c

Commits on Apr 23, 2024

• add trans closure version

  PROgram52bc

  committed
  b5f099b

  Copy full SHA for b5f099b