Syntax highlighting and syntax-directed proof folding for Vim mode

HOL-Theorem-Prover / HOL

Canonical sources for HOL4 theorem-proving system. Branch develop is where “mainline development” occurs; when develop passes our regression tests, master is merged forward to catch up.

https://hol-theorem-prover.org

Other

621 stars 140 forks source link

Syntax highlighting and syntax-directed proof folding for Vim mode #1190

Closed hrutvik closed 8 months ago

hrutvik commented 8 months ago

Syntax highlighting originally written by @oskarabrahamsson. Later adapted by me, including support for more precise folding of proofs in Vim.

mn200 commented 8 months ago

Thanks!