Skip to content

Update k-distribution/tests/pyk/simple_proofs_test.py

dd82baf
Select commit
Loading
Failed to load commit list.
Merged

Allow specifying lemmas in pyks KProve.proveClaim #2434

Update k-distribution/tests/pyk/simple_proofs_test.py
dd82baf
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs