Henrik Lissner
|
7e491ce1c0
|
lang/lean: minor reformatting
|
2021-02-26 21:33:00 -05:00 |
|
Rudi Grinberg
|
8778eb2288
|
Disable auto initializatinon of company in lean mode
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
|
2019-09-10 09:47:56 +09:00 |
|
Rudi Grinberg
|
2527306069
|
Use map! with after! to setup bindings
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
|
2019-09-10 09:47:56 +09:00 |
|
Rudi Grinberg
|
dbf9e9e2c7
|
Add a module for the lean theorem prover
Signed-off-by: Rudi Grinberg <rudi.grinberg@gmail.com>
|
2019-09-10 09:47:56 +09:00 |
|