diff options
| author | Son HO | 2024-06-11 14:36:40 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-11 14:36:40 +0200 |
| commit | e60d525fe3dffa035d2a551af624747dca6e1c1e (patch) | |
| tree | d7b06e270fd6a1cf69717f98db7c30e43788dad1 /tests/coq/traits/_CoqProject | |
| parent | 73e27b142b65ec37fbbc55a5a7d0299555b2b60b (diff) | |
| parent | 2e91b90e332c473253c2ff91fd65da34eb709572 (diff) | |
Merge pull request #237 from AeneasVerif/son/tuples
Do not use tuple projectors in the Lean backend
Diffstat (limited to 'tests/coq/traits/_CoqProject')
0 files changed, 0 insertions, 0 deletions