CoolFace
Apppublic

nisten/math-olympiad-solver

sourceHugging Faceupdated 2y agoView on Hugging Face
0likes
50 commits on main
d25ef7d2y ago

Update app.py

nisten
8e396f72y ago

Update latex matching rules

ranWang
536ded42y ago

fix ouput latex rander bug

ranWang
b10e3712y ago

Add latex matching format

ranWang
c8e89812y ago

update subtitle

ranWang
296c0e62y ago

fix clear bug

ranWang
f1043552y ago

No examples omitted

ranWang
a48bd302y ago

update running_success to running_done

ranWang
d2da2462y ago

change running_success in demo

ranWang
9d3b6382y ago

uopdate min-height style

ranWang
09958192y ago

fix client bug

ranWang
7c235422y ago

update example rendering method

ranWang
60210732y ago

fix boder bug in ::before

ranWang
ead75992y ago

update padding

ranWang
5b917082y ago

update ::before style

ranWang
039f26d2y ago

fix padding bug

ranWang
cff03a72y ago

update probelm-input-container style

ranWang
d93cdd02y ago

update style

ranWang
ef0744a2y ago

update prolem markdown style

ranWang
943da422y ago

fix problem markdown rendered bug

ranWang
8c7e30d2y ago

uodate problem rendered style

ranWang
c68d3fd2y ago

update style

ranWang
4c44eb02y ago

Fix the bug of incorrect variable name

ranWang
590d7572y ago

Dynamically switch to render mode on load

ranWang
d63a74b2y ago

update style

ranWang
f11f7522y ago

fix html render bug

ranWang
e94d8812y ago

Update the upper component to not render markdown

ranWang
bbb2e122y ago

Add missing dependencies

ranWang
5d150222y ago

Display loading animation at runtime

ranWang
edbd97e2y ago

Adjust button color

ranWang
20aabbd2y ago

Adjust button color

ranWang
8473f142y ago

Adjust CSS

ranWang
fdb80722y ago

Adjust CSS

ranWang
62ca5942y ago

update image style

ranWang
cd3b8a62y ago

Adjust image pading

ranWang
403eabf2y ago

update another func

ranWang
1fcf3802y ago

Adjust from svg to png

ranWang
16ed0172y ago

update png from

ranWang
5700f972y ago

Adjust from svg to png

ranWang
0f2b0ea2y ago

Adjust from svg to png

ranWang
3565fb92y ago

Adjust from svg to png

ranWang
ec094bb2y ago

Adjust CSS

ranWang
3eb8b962y ago

update style

ranWang
38d39b32y ago

Fix the bug in the problem example display

ranWang
3423f692y ago

fix problem title display bug

ranWang
b8065392y ago

Integrate business logic

ranWang
cb360bb2y ago

Adjust CSS

ranWang
b2e9a932y ago

add reset svg

ranWang
b77b5952y ago

Adjust CSS

ranWang
cc463e32y ago

Adjust CSS

ranWang