splean

Public

Separation Logic Proofs in Lean

Apache License 2.0

Updated Jan 29, 2026

Created Dec 10, 2024

47 stars

6 forks

2 watchers

0 open issues

Languages

Codebase composition by bytes

Top Contributors

191 commits

84 commits

21 commits

3 commits

Recent Stargazers

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

about 1 year ago

Repository Complexity

Approximate file count and repository size.

Files-

Size (KB)652

Issues & Activity

Open vs closed issues and recent activity peak.

Open Issues 0Closed Issues 0

Open Issues0

Activity Peak

Most recent day with highest activityJan 29, 2026 • 1 events

Stars & Forks Over Time

Cumulative stars and forks based on recent history.

GitHub Analytics

splean