rocq-prover/vsrocq - GitHub Explorer | GitHub Explorer | Trending

Stars

446

Forks

101

Watchers

446

Open Issues

197

Repository Health Score

🧡

56/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Merge pull request #1223 from rocq-prover/onedoc

Enrico Tassi•6 days ago

0ad9d19View on GitHub

document: fix misleading API name

Enrico Tassi•1 week ago

ff78267View on GitHub

update doc

Enrico Tassi•1 week ago

918898cView on GitHub

CheckingManager

Enrico Tassi•1 week ago

5afa996View on GitHub

misc

Enrico Tassi•2 weeks ago

45d6522View on GitHub

Merge pull request #1224 from VojtechStep/fix/flake-lock

Enrico Tassi•1 week ago

a10036cView on GitHub

Update flake.lock

VojtechStep•1 week ago

f3c662cView on GitHub

sentence exec status: from EM to Doc

Enrico Tassi•1 week ago

5c3417aView on GitHub

rename Error -> Failure to not conflict with Result.t

Enrico Tassi•2 weeks ago

f88788bView on GitHub

move jobs into EM state

Enrico Tassi•2 weeks ago

9db8194View on GitHub

cleanup

Enrico Tassi•2 weeks ago

6f1b31cView on GitHub

move feedback handling and storage to documentManager/document

Enrico Tassi•2 weeks ago

ab3582aView on GitHub

document: keep only one sentence

Enrico Tassi•2 weeks ago

c7003dcView on GitHub

[ci] bump nix to 25.11 (includes sel 0.7) (#1220)

Enrico Tassi•1 week ago

a7de31fView on GitHub

Merge pull request #1218 from Yann-Leray/ustate-of-names

Gaëtan Gilbert•2 weeks ago

7786995View on GitHub

View all commits

GitHub Explorer

vsrocq

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues