diff options
| author | Son Ho | 2023-06-09 10:06:43 +0200 |
|---|---|---|
| committer | Son Ho | 2023-06-09 10:06:43 +0200 |
| commit | e2fef1a5c986aff4c9975b1376bcc0fc0bb87940 (patch) | |
| tree | d1bd1ee2170544d9ad878e708ac3c46558851dcc /tests/coq/misc/External_Funs.v | |
| parent | acc09d5c69690f2c46cb1bacf290da5dcc268b24 (diff) | |
Reorganize a bit the Lean library
Diffstat (limited to 'tests/coq/misc/External_Funs.v')
0 files changed, 0 insertions, 0 deletions