eprover(1) on Linux

The text 4fa515ce24f7, as Debian 13 (Trixie) shipped it. The page shows this text now.

manual page for E 3.2.5 Puttabong Moondrop (69a471a3f67fbd0e9686e497131291f452c2176c)