feat: Linear Temporal Logic#413

mell-o-tron wants to merge 5 commits intoleanprover:mainleanprover/cslib:mainfrom

mell-o-tron:mainmell-o-tron/cslib:mainCopy head branch name to clipboard