Many hyperlinks are disabled.
Use anonymous login
to enable hyperlinks.
14 check-ins
|
2026-04-06
| ||
| 22:31 | Update README leaf check-in: ea6e9ef46f user: jonathanhwchan@gmail.com tags: main, trunk | |
| 22:27 |
Add symbolic key combinations, inspired by Lean's Unicode input
https://github.com/leanprover/vscode-lean4/blob/master/lean4-unicode-input/src/abbreviations.json check-in: 6787dc899c user: jonathanhwchan@gmail.com tags: main, trunk | |
|
2025-09-04
| ||
| 14:47 | Oopsie check-in: 2ca47b0330 user: jonathanhwchan@gmail.com tags: main, trunk | |
| 14:46 | Add README and Makefile check-in: b5dac9eb2e user: jonathanhwchan@gmail.com tags: main, trunk | |
|
2025-08-19
| ||
| 17:29 | check-in: 0ed07c86f9 user: noreply@github.com tags: main, trunk | |
|
2024-06-11
| ||
| 15:14 | check-in: 0589c2c8e5 user: noreply@github.com tags: main, trunk | |
|
2023-07-16
| ||
| 12:21 | check-in: 7a26882b2c user: noreply@github.com tags: main, trunk | |
|
2022-10-11
| ||
| 01:18 | check-in: 1fbe54d05e user: noreply@github.com tags: main, trunk | |
|
2022-06-29
| ||
| 18:11 | check-in: 20702c7499 user: noreply@github.com tags: main, trunk | |
|
2022-05-31
| ||
| 05:36 | check-in: 830537330c user: noreply@github.com tags: main, trunk | |
| 05:33 | check-in: ae287af27f user: noreply@github.com tags: main, trunk | |
| 05:29 | check-in: 6dbf1a7e7e user: noreply@github.com tags: main, trunk | |
| 05:13 | check-in: a1b000b560 user: noreply@github.com tags: main, trunk | |
| 05:08 | check-in: 1eb5921b4c user: noreply@github.com tags: main, trunk | |