-
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
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…
formatting of modules related to indexing and subexpression references
#61
opened Jan 10, 2022 by
johnyf
Loading…
fixes related to bounding of declarees in quantification and function definitions
#60
opened Jan 10, 2022 by
johnyf
Loading…
convert website source to Markdown, print message from installer about Cygwin paths
#43
opened Jul 1, 2021 by
johnyf
Loading…
ProTip!
Mix and match filters to narrow down what you’re looking for.