← Back to repositories

yokoyama-lab/rcore-semantics

github.com/yokoyama-lab/rcore-semantics ↗

Rocq Prover

Stars

⭐ 0

PRs Reviewed

1

Bot Comments

0

Primary Language

Rocq Prover

Merge Rate

100.0%

Avg Time to Merge

8h

Avg Additions

+1.7K

Avg Deletions

-6

Avg Files Changed

9

AI Review Products#

AI code review products active on this repository.