PanLinx: Proof-Carrying Code

English	eng-000
Proof-Carrying Code

Deutsch	deu-000	Proof-Carrying Code
polski	pol-000	Proof-Carrying Code

PanLex-PanLinx