daily

GitHub Agda Trending

The latest build: 2024-05-30Source of data: GitHubTrendingRSS

Formal specifications of the cardano ledger


The Agda standard library