diff options
author | Son Ho | 2023-06-06 15:53:46 +0200 |
---|---|---|
committer | Son Ho | 2023-06-06 15:53:46 +0200 |
commit | acc09d5c69690f2c46cb1bacf290da5dcc268b24 (patch) | |
tree | 04384980d21b90b85ae047d65b4139824b1dd635 /tests/coq/misc/Makefile | |
parent | 53adf30fe440eb8b6f58ba89f4a4c0acc7877498 (diff) |
Remove the sorries from Primitives.lean
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions