projects / temple.lean.git / commit
| author | Evgenii Akentev <i@ak3n.com> | |
| Sun, 24 Mar 2024 09:09:47 +0000 (13:09 +0400) | ||
| committer | Evgenii Akentev <i@ak3n.com> | |
| Sun, 24 Mar 2024 18:24:06 +0000 (22:24 +0400) | ||
| commit | 001063cd6399c310da7a5f360a600ec8d6505159 | |
| tree | 6807d507304436a048eeef8deaf45ced1d324528 | tree | snapshot |
| parent | 0fe449a4e535f30ef1d93a83a880e631e9015888 | commit | diff |
| Temple.lean | diff | blob | blame | history | |
| Temple/DeBruijn.lean | [new file with mode: 0644] | blob |