diff options
| author | Guillaume Boisseau | 2024-06-24 15:04:46 +0200 |
|---|---|---|
| committer | GitHub | 2024-06-24 15:04:46 +0200 |
| commit | 56235fc39b4335059277a1a163ac86be816f61bf (patch) | |
| tree | 41cdda9ef83734e913848b3a19ff1eb54b197789 /tests/coq/misc/Issue194RecursiveStructProjector.v | |
| parent | e2e2e17c71ed389cd97b81f35d2bdcfad5c9c59c (diff) | |
| parent | 2adc05c2d34b7b4e2a6283748ca67f870eb340a3 (diff) | |
Merge pull request #259 from Nadrieril/augmente-ta-vitesse
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions