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