summaryrefslogtreecommitdiff
path: root/tests/fstar/.gitignore
diff options
context:
space:
mode:
authorSon Ho2024-06-12 14:52:34 +0200
committerSon Ho2024-06-12 14:52:34 +0200
commitc8272aeea205ca9cb36e22757473ca2a931a4933 (patch)
treeceeb07f6565b2dbd76f9b506f6a43125f47e4bdf /tests/fstar/.gitignore
parent1018aa1af83e639a6b41b5650bf3b717e7f8de68 (diff)
Update the scalar notation for the Lean backend
Diffstat (limited to 'tests/fstar/.gitignore')
0 files changed, 0 insertions, 0 deletions