The readings shared in Bluesky on 2 March 2025 are

• Faithful logic embeddings in HOL (A recipe to have it all: deep and shallow, automated and interactive, heavy and light, proofs and counterexamples, meta and object level). ~ Christoph Benzmüller. #ITP #IsabelleHOL
• BiCoq: Bigraphs formalisation with Coq. ~ Cécile Marcon et als. #ITP #Coq #Rocq