Skip to content
Snippets Groups Projects
Verified Commit 9b873594 authored by Sankalp Gambhir's avatar Sankalp Gambhir
Browse files

Proof checking for substitution rules

parent da82badb
No related branches found
No related tags found
1 merge request!93Proof checking at higher abstraction level
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment