arislople | Typeclass instance problem is stuck

arislople

Lean 4 AI slop

[ This repository has no README file. ]

Recent commits

1668fbcd Aristotle supports v4.28.0 now yay Anthony Wang comitted at 2026-03-20 17:14:28 -0400
c314c45f More sloppppppppp Anthony Wang comitted at 2026-01-07 14:53:23 -0600
e3731382 Marden finally Anthony Wang comitted at 2025-12-15 22:08:46 -0600

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