binary-verification

Here are 2 public repositories matching this topic...

Lean 4 infrastructure for proving program behavior from machine code, with explicit memory, OS resource, and concurrency models.

Offline media URL extractor with detached binary verification. Ships unsigned - verify with verify.ps1.

To associate your repository with the binary-verification topic, visit your repo's landing page and select "manage topics."