theorem-labs / rocq-linux-process-semantics

git clone https://github.com/theorem-labs/rocq-linux-process-semantics.git

A Rocq model of a Linux process that runs a RISC-V binary

—

stars, 24h

+29

stars, 7 days · #6,612

+29

stars, 30 days · #21,190

★ total · +29% this week

forks · 6 open issues

Star history starts 2026-10-24; the chart appears after the second daily snapshot.

LanguageRocq Prover

LicenseMIT

Created2026-10-19 (5d ago)

Last push1d ago

OwnerOrganization

Loading README…