EKB_DELETE(1)

💖 ekb_delete — the manual page, but make it make sense 💖

okay bestie, so this is the manual page for ekb_delete version 3.5.1. yes that's the whole title, we're just folding it in here because vibes. sit down, grab a strawberry, and let's get into it 🍓

---

✨ SYNOPSIS ✨

ekb_delete [options] <name>

🦋 DESCRIPTION 🦋

ekb_delete 3.5.1

so basically what this does? it removes the example <name> from an E knowledge base. that's it. that's the whole job. it's giving "note to self: delete" but for your knowledge base 💅

the program is ekb_delete 3.5.1 and yes that's the version, we said it twice, it's iconic, periodt.

🎀 Options 🎀

• -h — print a short description of program usage and options. like a lil cheat sheet. lowkey essential.
• --help — same thing as -h bestie, print a short description of program usage and options.
• --version — print the version number of the program. yes, the number. that one. 🫶
• -v — verbose comments on the progress of the program. the short form, or the long form without the optional argument, is equivalent to --verbose=1.
• --verbose[=<arg>] — verbose comments on the progress of the program. the short form or the long form without the optional argument is equivalent to --verbose=1.
• -k <arg> — select the knowledge base. if not given, it selects E_KNOWLEDGE.
• --knowledge-base=<arg> — select the knowledge base. if not given, it selects E_KNOWLEDGE.

ngl the flag situation here is: you pick a knowledge base or you get the default. no cap. E_KNOWLEDGE is the fallback and she ate 💖

---

😭 REPORTING BUGS 😭

found something cursed? report bugs to <schulz@eprover.org>. and please, for the love of everything, include the following if possible:

• The version of the package as reported by eprover --version.
• The operating system and version.
• The exact command line that leads to the unexpected behaviour.
• A description of what you expected and what actually happened.
• If possible all input files necessary to reproduce the bug.

that last one is the main character of bug reports, fr fr. without it we're just guessing 🙈

---

👑 COPYRIGHT 👑

Copyright 1998-2026 by Stephan Schulz, schulz@eprover.org, and the E contributors (see DOC/CONTRIBUTORS).

This program is a part of the distribution of the equational theorem prover E. You can find the latest version of the E distribution as well as additional information at http://www.eprover.org

This program is free software; you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation; either version 2 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

✨ warranty check: failed ✨ no glow-up clause, no fitness guarantee, just vibes per the GPL.

You should have received a copy of the GNU General Public License along with this program (it should be contained in the top level directory of the distribution in the file COPYING); if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA

We welcome bug reports and even reasonable questions. If the prover behaves in an unexpected way, please include the following information:

• What did you observe?
• What did you expect?
• The output of eprover --version
• The full commandline that lead to the unexpected behaviour
• The input file(s) that lead to the unexpected behaviour

Most bug reports should be send to <schulz@eprover.org>. Bug reports with respect to the HO-version should be send to or at least copied to <jasmin.blanchette@gmail.com>. Please remember that this is an unpaid volunteer service.

bestie remember: unpaid volunteer service. be nice. kindness is free and it's highkey slay 🌸

The original copyright holder can be contacted via email or as

Stephan Schulz DHBW Stuttgart Fakultaet Technik Informatik
Lerchenstrasse 1 70174 Stuttgart Germany

---

okay that's the whole page, you're officially educated, go delete some examples responsibly 💅

this was ekb_delete 3.5.1, dated August 2026, and that's a wrap, mwah 🎀✨