Code

Add true symbols to signature builtins#6

Code

Open

thomwiggers wants to merge 1 commit intotamarin-prover:mastertamarin-prover/vscode-tamarin:masterfrom thomwiggers:patch-1thomwiggers/vscode-tamarin:patch-1Copy head branch name to clipboard

+2-2

Commits

Commits on Oct 17, 2024

• Add true symbols to signatures

  thomwiggers

  authored
  8014200