Nathan Allaire. ProxTV.jl [Computer software]