Paper
The LomentGC paper
The long version of the LomentGC page: every place a Loment program allocates is assigned to one of four levels, each level names what it proves and what it costs, and the number that says how much is left to the collector is written into the binary.
Read it here
The paper opens in the frame below. On a phone, or if the frame stays empty, use the download button above.