A Formally Verified Lightning Network.

Grzegorz Fabianski, Rafal Stefanski, Orfeas Stefanos Thyfronitis Litos

Browse the full FC paper archive.