search

kth-step / HolBA

Binary analysis in HOL
Other
35 stars 21 forks source link

Dev prom simplify #147

Closed HAKarlsson closed 2 years ago

HAKarlsson commented 2 years ago

Simplifies some definitions with proofs