Simon Tobias Lund

初心者向けにIsabelleを使って高次論理を学ぶための明確なアプローチ。