add arklib and fix bug

add arklib

add arklib logo

Upload arklib.png

link to physlib.io

Upload physlib.png

Update app.py

Delete assets/sponsors/PhysLibLogo.jpeg

update app.py to include physlib icon

update to add physlib icon

Upload PhysLibLogo.jpeg

add cslib logo

Upload cslib.png

add citation

make <code>#count_heartbeats</code> visible in hovered text

update hover highlight color for tabs

update leaderboards

Update leaderboard.py

update icon fonts

add icon

use icon

up

up

update

fix naming

update wording

update example

update examples

auto refresh

edit explanatinos

update examples

update UI

Add CSLib project-resident benchmark rows with in-project compilation

add verina

fix pypantograph usage

use pypantograph for checking submitted statements

update

update

update

update

update

update

update

update

update

update

Clarify reduction columns with explicit '↓' prefix

Bump default timeout to 1200s for heartbeat-instrumented heavy proofs

Add heartbeat measurement and multi-objective leaderboard

UI cleanup: drop user-facing timeout/mem; About before Playground; Soft theme; concise copy