From: li yongjian <lyj238@gmail.com> Hi, all users: Do anyone know some formal theory on Social network, and some formalization in a theorem prover?
regards!
Last updated: Jul 03 2025 at 01:50 UTC