← Back to repositories
IntersectMBO

IntersectMBO/formal-ledger-specifications

github.com/IntersectMBO/formal-ledger-specifications ↗
Agda

Stars

⭐ 51

PRs Reviewed

19

Bot Comments

54

Primary Language

Agda

Merge Rate

78.9%

Avg Time to Merge

13d

Avg Additions

+900

Avg Deletions

-358

Avg Files Changed

17

AI Review Products#

AI code review products active on this repository.

GitHub CopilotGitHub Copilot
19 PRs27 events
IntersectMBO/formal-ledger-specifications — AI Code Review Activity — Code Review Trends