[{"data":1,"prerenderedAt":4},["ShallowReactive",2],{"HiaPpbSKDB":3},"Milestone examples\n- bakery.lean (depends on Bakery/DMC.lean)\n- nsl-computational.lean (depends on Bakery/S4.lean)",1780242003650]