Add the following to your init.el file:
(use-package ob-lean4
:load-path "/path/to/ob-lean4")
(add-to-list 'org-babel-load-languages '(lean4 . t))-
Notifications
You must be signed in to change notification settings - Fork 1
org-babel package for lean4 evaluation
License
Maverobot/ob-lean4
Folders and files
| Name | Name | Last commit message | Last commit date | |
|---|---|---|---|---|
Repository files navigation
About
org-babel package for lean4 evaluation
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published