Used together with:
thms
(1)
geo
(1)
cprover
(1)
system
(1)
descript
(1)
Stem
gcl$ (
all stems
)
1 papers:
IJCAR-2006-JanicicQ
System Description: GCLCprover + GeoThms (
PJ
,
PQ
), pp. 145–150.
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
.