Commit 555659c

committed

The haskell extracted by the current 8.4 tip:

rocq-prover/rocq@607b1cb

1 parent 739e734 commit 555659cCopy full SHA for 555659c

1 file changed

+736

-2994

lines changed

extraction
- roboExtract.hs

1 file changed

+736

-2994

lines changed

Comments

(0)