search

w3f / apk-proofs

Apache License 2.0
56 stars 19 forks source link

Write a preminalary Spec for APK proof #39

Open drskalman opened 2 years ago

drskalman commented 2 years ago

This is going to primary to help the audit and navigating the code. This issue is to track the progress in this task.