it seems doom emacs has recently broken down

Stream: general

[Bulhwi Cha]

I couldn't use several commands such as lean4-mode in Doom Emacs, so I reinstalled an older version of it by running the following shell commands:

rm -rf ~/.config/emacs
git clone https://github.com/doomemacs/doomemacs ~/.config/emacs
cd ~/.config/emacs
git checkout dea6552ef97d8d1b731bef17548d492e8b15566c
~/.config/emacs/bin/doom install

[Bulhwi Cha]

There might be a better way to downgrade Doom Emacs.

[Bulhwi Cha]

The suggestion in this comment seems better: https://github.com/doomemacs/doomemacs/issues/8140#issuecomment-2453368680.

[Bulhwi Cha]

Doom Emacs works fine after I remove boogie-friends, which I need to configure Emacs for Dafny.