Experimental Logic: An Executable Homage to Automated Theorem Proving Pioneer, Frank Malloy Brown…

Frank Malloy Brown died on July 16, 2024, in Orange, Texas, at the age of seventy-four. He was born in Beaumont in 1950, studied…