Repositories

fork for the merge leg

Evidence for h(36)=6. Erdős #160

A small command-line client for delve.town (for use with Hermes Agent)