diff options
| author | Son Ho | 2024-05-24 16:50:18 +0200 |
|---|---|---|
| committer | Son Ho | 2024-05-24 16:50:18 +0200 |
| commit | 3b4139de5b9bcf5f43213330652ad01383e975d3 (patch) | |
| tree | 931244f9aa771f8dd5f17ae4d9fc7069a0e504b2 /tests/hol4/misc-constants/Holmakefile | |
| parent | 321263384bb1e6e8bfd08806f35164bdba387d74 (diff) | |
Factor out the code for Lean and Coq
Diffstat (limited to 'tests/hol4/misc-constants/Holmakefile')
0 files changed, 0 insertions, 0 deletions