An experiment in adding paragraph formatting to or on top of Lean.MessageData.
whxvd/paragraph-message
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
An experiment in adding paragraph formatting to or on top of Lean.MessageData.