i-love-lean | Typeclass instance problem is stuck

i-love-lean

Made using the best language ever!

[ This repository has no README file. ]

Recent commits

e419478f Add fcitx5-lean build Anthony Wang comitted at 2026-07-20 16:45:35 -0400
f9b501a5 Remove Coq stuff, add Lean cuisine Anthony Wang comitted at 2026-05-18 23:48:45 -0400
0cf2ac1d Add grading meme Anthony Wang comitted at 2026-05-18 23:45:52 -0400

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