Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] Formalization of Social network(SN)

view this post on Zulip Email Gateway (Aug 19 2022 at 09:01):

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: Feb 15 2026 at 05:19 UTC