Activity, over time
Daily observations from the public event archive.
Attention
Daily stars & forks
Star accumulation
Cumulative stars
Pull requests
Daily opens & merges
Conversations
Daily issues & comments
Community
Daily accounts & reviews
Releases
Daily releases
Trending history
Daily top 10 · last 90 days · UTC
Mentions
Stars
Forks
Contributors
Latest stargazers
The last 10 distinct accounts we observed this year.
Most active participants
PR, issue, comment & review events in the past year.
Packages
No packages found.
Live mentions badge
Show how many posts mention your project in the last 30 days.
Live mentions · last 30 days
Mentions
@ahmetb Or the formal verifier might also have bugs, a couple in QED SQL equivalence prover: - prover#13 - prover#14 Or the other day Anthropic announced they formally verified a bunch of systems, someone found a bug in the model x.com
@filpizlo @AnthropicAI @theoremlabs Yeah, that surprised me too. Pinging them on some threads to find out more, I gotta assume there's more to this story github.com/theorem-labs/rocq-linux-process-semant…
Model: theorem-labs/rocq-linux-process-semantics based on mit-plv/riscv-coq and Sail Binaries are split into sections with a Python script and imported into Rocq with rocq-read-file Workflow: theorem.dev , theorem-labs/oss-verify , theorem-labs/oss-verify-proofs