The latest files are always available at GitHub.
  1. The GNU GPLv3 license which covers the source file: COPYING
  2. A brief description of the following program: README
  3. The main sage file: hf-hat.sage
  4. An example file: example.sage
  5. And its outputs: 0 1 2