[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"cRelFltJcp":3},"# Pomsets with Formulae\n\nLean Formalization of the CONCUR 2025 paper: https://doi.org/10.4230/LIPIcs.CONCUR.2025.39",1788025903630]