search

smtcoq / sniper

Other
33 stars 6 forks source link

remove continuations #6

Closed louiseddp closed 3 years ago

louiseddp commented 3 years ago

Remove continuations when they are not needed thanks to metacoq_get_value