Man Pages in formed

Section 1: Executable programs or shell commands

formed.1

Formula editor for first-order logic formulas