Sign inSign up

m-fleury/isabelle-emacs

Clone of isabelle, with LSP extensions in seperate branches

IsabelleStars 28Forks 5Watchers 28Open issues 15License Other
Details
仓库信息
Ownerm-fleury
Homepage—
GitHubhttps://github.com/m-fleury/isabelle-emacs
Last pushed2025-12-11
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--