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

Stars

32

Forks

31

Watchers

32

Open Issues

94

Repository Health Score

🧡

55/100

Fair

Overall repository health assessment

Score Breakdown

Activity

Active development - updated this week

30/30

100%

Recent Commits

Merge pull request #255 from proux01/fix-test

Pierre Roux•4 days ago

251e585View on GitHub

Fix test following https://github.com/rocq-prover/stdlib/pull/254

Pierre Roux•4 days ago

e66e349View on GitHub

Merge pull request #254 from SkySkimmer/badproof

Gaëtan Gilbert•4 days ago

34f01e2View on GitHub

Fix some missing and incorrect Proof commands

Gaëtan Gilbert•4 days ago

0dbec41View on GitHub

Merge pull request #253 from proux01/rocq21851

Pierre Roux•4 days ago

a33c4f8View on GitHub

Adapt to https://github.com/rocq-prover/rocq/pull/21851

Pierre Roux•4 days ago

0adf16dView on GitHub

Merge pull request #252 from SkySkimmer/double-proof

Gaëtan Gilbert•5 days ago

c891c1dView on GitHub

Remove duplicated "Proof" command

Gaëtan Gilbert•5 days ago

7a332dcView on GitHub

Merge pull request #249 from proux01/ci-update

Pierre Roux•1 week ago

870658eView on GitHub

[CI] Update Nix toolbox

Pierre Roux•2 weeks ago

c7e61eaView on GitHub

Merge pull request #247 from proux01/ci-update

Pierre Roux•2 weeks ago

2de794aView on GitHub

Adapt to https://github.com/LPCIC/coq-elpi/pull/978

Pierre Roux•2 weeks ago

f22e7fcView on GitHub

Merge pull request #246 from proux01/ci-update

Pierre Roux•3 weeks ago

a410b3fView on GitHub

[CI] Update Nix toolbox

Pierre Roux•3 weeks ago

fb636a8View on GitHub

[refman] Remove unused bibliography

Pierre Roux•3 weeks ago

20344cfView on GitHub

View all commits

GitHub Explorer

stdlib

Score Breakdown

Issues Activity: Last 6 months

Top Labels

Hottest Issues