🥷Machine-checked refutation of an INFOCOM'26 AoI crowdsensing paper's Lemma, in Lean 4
Lean Updated about 1 month ago 1 commits
surge-bot|Mirror: DURUII/Replica-TS-DPP (⭐0)
about 1 month agoAbout
🥷Machine-checked refutation of an INFOCOM'26 AoI crowdsensing paper's Lemma, in Lean 4
Readme