Commit 04ab42b

authored

Merge pull request #67 from SkySkimmer/sprop-default-on

Adapt to rocq-prover/rocq#10811 (SProp default on)

2 parents a657082 + e5bb424 commit 04ab42bCopy full SHA for 04ab42b

4 files changed

+1356

-1332

lines changed

+1356

-1332

lines changed

Comments

(0)