Animating Formal Proof at the Surface: The Jape Proof Calculator - Sciweavers

40

click to vote

more CJ 1999 ...

jape.comlab.ox.ac.uk

Tweet