name: advent-of-proof
depend: standard-library
include: src
flags: --without-K