Another formal proof example. ForallX Proof checker: http://the21stcenturymonads.net/forallx/
No download links available.
