summaryrefslogtreecommitdiff
path: root/tests/lean/misc
diff options
context:
space:
mode:
authorSon HO2024-06-11 14:36:40 +0200
committerGitHub2024-06-11 14:36:40 +0200
commite60d525fe3dffa035d2a551af624747dca6e1c1e (patch)
treed7b06e270fd6a1cf69717f98db7c30e43788dad1 /tests/lean/misc
parent73e27b142b65ec37fbbc55a5a7d0299555b2b60b (diff)
parent2e91b90e332c473253c2ff91fd65da34eb709572 (diff)
Merge pull request #237 from AeneasVerif/son/tuples
Do not use tuple projectors in the Lean backend
Diffstat (limited to 'tests/lean/misc')
0 files changed, 0 insertions, 0 deletions