Skip to content
This repository was archived by the owner on Apr 25, 2024. It is now read-only.

Self-contained proof steps for EqualityProver and APRProver #886

Closed
wants to merge 21 commits into from
+371 −159

Merge branch 'noah/atomic-steps' of https://github.com/runtimeverific…

03737cc
Select commit
Loading
Failed to load commit list.
Closed

Self-contained proof steps for EqualityProver and APRProver #886

Merge branch 'noah/atomic-steps' of https://github.com/runtimeverific…
03737cc
Select commit
Loading
Failed to load commit list.

There are no checks for this commit