search

smtcoq / sniper

Other
33 stars 6 forks source link

definition instead of fixpoint #3

Closed louiseddp closed 3 years ago