ku-sldg/am-cakeml change to using coq maps

ku-sldg / am-cakeml

Delivery repo for the KU CakeML Attestation Manager

GNU General Public License v3.0

1 stars 0 forks source link

Closed Durbatuluk1701 closed 9 months ago

Durbatuluk1701 commented 9 months ago

We be completed when branch for #ku-sldg/am-cakeml/amConfigExecutability merges