prooflang.exp 3.4 KB