> On Jan 24, 2022, at 10:29 AM, Benoit <[email protected]> wrote:
>
> Why is it called "knife" ? Is it because it's intended to be a "swiss knife"
> for metamath databases ?
Yes, it's intended to be a "Swiss Army Knife" - a collection of useful basic
tools. It's also a pun on "fork", and I didn't want to call it "metamath" by
itself as that's too ambiguous (which one do you mean?). I'm not married to the
name, but the point of names is to clearly distinguish things from other
things, so it needs to distinguish it from other things.
--- David A. Wheeler
--
You received this message because you are subscribed to the Google Groups
"Metamath" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/metamath/C10BC595-79B3-44C1-A0BB-CB87DC762F49%40dwheeler.com.
