Prover9-Mace4-v05B is an automated theorem prover and model searcher for first-order and equational logic. It is available for different operating systems, including Mac.
A screen-based text editor for various documents.
Fast, clever, and free Hex Editor that has many unique features: Insert...
A powerful application that allows users to edit TeX files.
