Commit History

  1. Add optimality note: exhaustive enumeration confirms magnitude 4 is minimum

    CharlesCNorton
    6e63966

  1. Rename from tiny-AND-verified

    Verified signature
    d182d54
  2. initial commit

    Verified signature
    528f543