mirror of
https://github.com/leanprover/lean4.git
synced 2026-03-17 10:24:07 +00:00
14 lines
186 B
Plaintext
14 lines
186 B
Plaintext
# Generated by cmake
|
|
/with_*_env.sh
|
|
|
|
# Created by test suite
|
|
*.produced
|
|
|
|
# Created by bench suite
|
|
*.measurements.jsonl
|
|
measurements.jsonl
|
|
|
|
# Created by compile tests
|
|
*.lean.c
|
|
*.lean.out
|