-
Notifications
You must be signed in to change notification settings - Fork 19
Pull requests: tlaplus/tlapm
Author
Label
Milestones
Reviews
Assignee
Sort
Pull requests list
Make SimpleEventually proof a bit less simple.
documentation
Adding or editing any form of documentation (documentation files, code comments, website pages, etc)
enhancement
A new feature, an improvement, or other addition.
#135
opened Jun 6, 2024 by
lemmy
Loading…
Rewrite Nat to {x ∈ Int : 0 ≤ x} instead of n ∈ Nat to (n ∈ Int ∧ 0 ≤ n).
#134
opened May 31, 2024 by
kape1395
Loading…
Branch
updated_enabled_cdot
on top of dune, ocaml-5 and lsp.
#95
opened Oct 22, 2023 by
kape1395
Loading…
BUG: quoting of environment variables for CI, and automatically run
release.yml
#68
opened Jun 20, 2022 by
johnyf
Loading…
fixes related to bounding of declarees in quantification and function definitions
#60
opened Jan 10, 2022 by
johnyf
Loading…
ProTip!
Adding no:label will show everything without a label.