Leni Ven d1cae71134 Add lean4 bindings		2023-02-16 14:25:45 -08:00
..
.gitignore	Fix config problem that prevented tangling and .gitignore	2023-02-05 01:49:57 -08:00
config.org	Add lean4 bindings	2023-02-16 14:25:45 -08:00
init.el	Add keybindings and reorganise	2023-02-08 00:00:11 -08:00