Skip to content
Snippets Groups Projects
I

iris-coq

Star 0
Project ID: 340
Select Git revision
0 results
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Use "clear -H" for set_solver.
Robbert Krebbers authored 
Also, use "set_solver by tac" to specify a tactic.
b9ff487e
History
user avatar b9ff487e
History
Name Last commit Last update