lean-risc0-runtime

Public

Lean4 runtime for RISC0

Apache License 2.0

Updated Feb 5, 2026

Created Oct 28, 2025

1 stars

1 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

13 commits

Recent Stargazers

4 days ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)234

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 11

Open Issues11

Activity Peak

Most recent day with highest activityFeb 5, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics