feat: Linear Temporal Logic#413

Open

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

mell-o-tron:main

Commits on Mar 10, 2026

feat: Linear Temporal Logic
Lorenzo Pace
committed

Commits on Mar 15, 2026

Commits on Mar 16, 2026

fix: addressed eric-wieser's reviews
Lorenzo Pace
committed
fix: reflected changes in comments.
Lorenzo Pace
committed