lean-xray
Inspect the assumptions behind a Lean declaration, and what the audit actually checked.
In Progress
Work
Related Tags
View all →
Inspect the assumptions behind a Lean declaration, and what the audit actually checked.
In Progress
Related Tags