Something went wrong. Try again.
my forest
Something went wrong. Try again.
12345\title{Progress on linear-temporal properties research notes}\date{2026-04-12}\author{liamoc}\p{I have made significant additions to my research notes on [[ltp-0001]]. Now I have all the relevant content from [[alpern-schneider-1985]], and some of the definitions that will appear in the forthcoming journal paper from me and [[rayhana]]. This paper finally got reviews back, and we have quite a few things to do but I'm confident we'll get there.}