Important notes that could be helpful to organize or use the scripts, will be listed out in this file.
This volume requires graphs generated from volume 1 & 2 to work properly.
Same as tactics in volume 1, several new tactics have been found. Due to my limit, I cannot determine the exact propositions that involve within. Below at the progress their appearances should be easily found, and following the scripts their locations on the book also should be easily checked out. These tactics include:
- tactic Induct
- tactic []<=
- tactic []>=
- tactic []<
Same as in volume 2, several propositions have not found their appearances:
- 225.174
- 331.124
- 372.152
- Chapter 250
- Chapter 251
- Chapter 252
- Chapter 253
- Chapter 254
- Chapter 255 (1 NOTE)
- Chapter 256 (1 ERROR)
- Chapter 257
- Chapter 258
- Chapter 259 (1 NOTE)
- Chapter 260
- Chapter 261
- Chapter 262 (new tactic Induct, 8 NOTES)
- Chapter 263
- Chapter 264 (new tactic []<=)
- Chapter 265 (1 NOTE)
- Chapter 270
- Chapter 271
- Chapter 272
- Chapter 273
- Chapter 274
- Chapter 275
- Chapter 276
- Chapter 300
- Chapter 301
- Chapter 302
- Chapter 303
- Chapter 304 (new tactic []>=)
- Chapter 305
- Chapter 306 (new tactic []<)
- Chapter 307
- Chapter 308
- Chapter 309
- Chapter 310
- Chapter 311
- Chapter 312
- Chapter 313
- Chapter 314
- Chapter 330
- Chapter 331
- Chapter 332 (1 ERROR)
- Chapter 333
- Chapter 334
- Chapter 335
- Chapter 336
- Chapter 337
- Chapter 350
- Chapter 351 (2 NOTE)
- Chapter 352
- Chapter 353
- Chapter 354
- Chapter 356
- Chapter 359
- Chapter 370
- Chapter 371
- Chapter 372
- Chapter 373 (1 NOTE)
- Chapter 374
- Chapter 375 (1 ERROR)