Skip to content

LLM review: ask for literal Unicode so the mathematics is readable - #291

Merged
Vilin97 merged 1 commit into
mainfrom
vilin/review-unicode-fix
Jul 28, 2026
Merged

LLM review: ask for literal Unicode so the mathematics is readable#291
Vilin97 merged 1 commit into
mainfrom
vilin/review-unicode-fix

The first challenge review ([#289](https://github.com/Vilin97/lean-po…

6cd9e63
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar