Advertisement
Molle
Free and open source cross-platform prover for modal logic...
Funnel Window
Funnel Window's purpose is to prove Mac OS X's graphic engine's abilities...
Cert Viewer Plus for Thunderbird
A Thunderbird add-on that certificates viewer enhancements...
Princess
A free theorem prover for Presburger arithmetic...
theorem prove theorem prover prove theorem Presburger arithmetic