Probably not too many; I'll probably at the very most record a few dozen theorems whose proofs involve at the very most a dozen or two steps. From Mat's answer it seems like it won't be an issue.
On Sat, Jan 15, 2022, 11:11 PM PMario <pmari...@gmail.com> wrote: > Hi and Welcome, > > I think all 3 scenarios you describe can be created. ... > > IMO what Mat wanted to find out was: How many tiddlers you want to create. > So How many theorems are you talking about and how many steps does 1 proof > have. > > Are you talking about 100 tiddlers or 1000 or several 10th of 1000 ? > > -mario > > -- > You received this message because you are subscribed to a topic in the > Google Groups "TiddlyWiki" group. > To unsubscribe from this topic, visit > https://groups.google.com/d/topic/tiddlywiki/zoDnKL3bXCs/unsubscribe. > To unsubscribe from this group and all its topics, send an email to > tiddlywiki+unsubscr...@googlegroups.com. > To view this discussion on the web visit > https://groups.google.com/d/msgid/tiddlywiki/b1677f71-efec-4fd6-9ebc-f41a07cdba5dn%40googlegroups.com > <https://groups.google.com/d/msgid/tiddlywiki/b1677f71-efec-4fd6-9ebc-f41a07cdba5dn%40googlegroups.com?utm_medium=email&utm_source=footer> > . > -- You received this message because you are subscribed to the Google Groups "TiddlyWiki" group. To unsubscribe from this group and stop receiving emails from it, send an email to tiddlywiki+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/tiddlywiki/CAAcwR7z_ctd7WKvm1hODr7jiEJp3mLpKYvg1yhi2fzw15%2B%3D93w%40mail.gmail.com.
