slean | Typeclass instance problem is stuck

slean

Lean port of SDC

[ This repository has no README file. ]

Recent commits

54d3d34c Update to Lean v4.26.0 Anthony Wang comitted at 2025-12-19 21:30:39 -0600
9a0500c5 Fix compilation error on Ubuntu Anthony Wang comitted at 2025-11-28 19:45:32 -0500
07cd9454 Turns out flush bug was just me being stupid and not using the latest build Anthony Wang comitted at 2025-11-28 19:12:45 -0500

Tab width

Changes the size of a tab character in code blocks and code previews.

Theme color

Changes the primary color to use for links, buttons, and icons.

File list layout

Row layout of a file list in "Files" page.

File permission format

How to render file permission?

File size format

Change display of file size in "Files" page.

Powered by legit