theorem-labs/rocq-linux-process-semantics
A Rocq model of a Linux process that runs a RISC-V binary
GitHub repository with 52 stars and 12 forks.
Language: Rocq Prover
Topics: formal-verification, linux, riscv, rocq, semantics
24h trend summary
Trending score 1.39, freshness score 0.94, stars gained +2, forks gained +1.
Latest metric snapshot
2026-11-03: 52 stars and 12 forks.