diff options
| author | Son Ho | 2023-08-04 20:03:42 +0200 |
|---|---|---|
| committer | Son Ho | 2023-08-04 20:03:42 +0200 |
| commit | d7b3155ad5583d5a92e85c69cc89a21a60e51df7 (patch) | |
| tree | b52c14e92e46c0ce8fcbb53a3f994b381d11d38d /.gitignore | |
| parent | c656688ff4895904b4bb5e2f89037f1e75c9fa00 (diff) | |
Generate the Array example in Lean
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions