Skip to content
Snippets Groups Projects
Commit f57e2888 authored by Ali Sinan Köksal's avatar Ali Sinan Köksal
Browse files

Preconditions for inductive tactic

parent 32d5dd0b
No related branches found
No related tags found
Hide whitespace changes
Inline Side-by-side
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment