Skip to content

Write a nicer README with documentation #236

New issue
New issue
Open
Open
Write a nicer README with documentation#236
Labels
library-dxImprove DX of clean, by adding simprocs, notations or built-in gadgets. For experienced Lean devs
@mitschabaude

Description

@mitschabaude
mitschabaude
opened on Jul 25, 2025
No description provided.

Metadata

Metadata

Assignees

No one assigned

    Labels

    library-dxImprove DX of clean, by adding simprocs, notations or built-in gadgets. For experienced Lean devs

    Type

    No type

    Projects

    clean core dev

    Status

    Todo

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions