Used together with:
proof
(1)
calcul
(1)
anim
(1)
paper
(1)
Stem
jape$ (
all stems
)
1 papers:
CADE-1997-BornatS
#named
Jape: A Calculator for Animating Proof-on-Paper (
RB
,
BS
), pp. 412–415.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.