Skip to content
This repository was archived by the owner on Oct 20, 2026. It is now read-only.

doc: improve the README - #100

Open
YaelDillies wants to merge 1 commit into
leanprover:masterfrom
YaelDillies:better_readme
Open

doc: improve the README#100
YaelDillies wants to merge 1 commit into
leanprover:masterfrom
YaelDillies:better_readme

Commits

  1. Commits on Oct 5, 2026