IntersectMBO/formal-ledger-specifications

Stars

⭐ 52

PRs Reviewed

23

Bot Comments

64

Primary Language

Agda

Merge Rate

69.6%

Avg Time to Merge

12d

Avg Additions

+776

Avg Deletions

-306

Avg Files Changed

15