search

hbgit / depthk

K-Induction adopting program invariants
GNU General Public License v2.0
8 stars 1 forks source link

Release pagai inductive #5

Open WilliameRocha opened 7 years ago