app-emacs/nael
Major mode for Lean
Screenshots
-
nael-0.6.4~amd64 ~x86
View 
Download 
Browse License: Overlay: melpa-stable
ChangeLog
commit 78069ba604b64dbd571427aafaa55fd045073170
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Dec 15 15:00:44 2025 +0000
Auto-generated ebuilds 2025-12-15T15:00:44.
Author: Regeneration Bot <regenerationbot@houseofsuns.org>
Date: Mon Dec 15 15:00:44 2025 +0000
Auto-generated ebuilds 2025-12-15T15:00:44.