Oscar Levin

Results 38 issues of Oscar Levin

Either in the first counting section, or in the proofs section, ask for a proof similar to the pigeonhole principle using PIE. Something like, if you have 7 red pigeons...

enhancement

Instead of proving that 2^n > n^2, why not prove first that 2^n > n or 2^n > 2n+1. Perhaps this should just be part of the example: set out...

In the first section of the graph theory chapter, add the problem where a bunch of couples shake hands (but not with each other).

question

The material on how to find closed formulas for sequences that are sums of arithmetic and geometric sequences can be improved. Instead of (or in addition to) writing out the...

enhancement

A large set of improvements to the documentation that includes almost all the features of the CLI, new instructions for installing, and improved coverage in other sections of the guide....

This is the quick reference sheet for using the CLI, to be released once the 1.0 version of pretext goes live. Please don't merge until then.

To indicate a locator in the index is for a definition, when the `` is *not* used, then `` should be placed inside ``, and the index should do this...

enhancement
z-idx

When viewing FOP on an Android phone (using chrome), the code in an active code window sometimes gets cut off if the line is too long. For example Activity 2.5.4...

This is the start of a bunch of schema and experimental schema improvements. Leaving as draft for now, but would love feedback as I continue to work on this. One...

The XML project I'm involved in (PreTeXt) encourages users to use modular files via `xi:include`. Using the XML vscode plugin, we can set the names for references (in our case,...