risc0-lean-example

Public

Example of Lean 4 in RISC0 guest

Apache License 2.0

Updated Dec 6, 2025

Created Oct 29, 2025

2 stars

2 forks

0 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

17 commits

Recent Stargazers

2 months ago

2 months ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)8,170

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 14

Open Issues14

Activity Peak

Most recent day with highest activityFeb 6, 2026 • 3 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics