DRAFT: elpi2html using react#349

Draft

FissoreD wants to merge 18 commits into

LPCIC:masterfrom

FissoreD:elpi2html

Commits on Feb 24, 2026

wip
FissoreD
committed
continue
FissoreD
committed
wip
FissoreD
committed
fix =!=> in presence of pi

gares
authored and
FissoreD
committed
factorize pis

Tragicus
authored and
FissoreD
committed
fixup pp short pi

gares
authored and
FissoreD
committed
wip
FissoreD
committed
continue
FissoreD
committed
fix rebase
FissoreD
committed
clean
FissoreD
committed
fix rebase
FissoreD
committed
fix rebase
FissoreD
committed
reduce diff
FissoreD
committed
fix rebase
FissoreD
committed

Commits on Feb 26, 2026

Commits on Mar 5, 2026