The Nest
Explore
Sign in
4kusto
vie
ViE
UI
1
text editor inspired vim and yi
Code
Changes
Tags
Discussions
main
4kusto
update flake.nix: Basically, we are going to use lean4 from elan.
on March 9, 2026
Syntax
introduce initial Lean integrations: LSP + InfoView, language-scoped defaults, and supporting tests/docs
on February 16, 2026
Overlay.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Primitives.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Render.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Search.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Window.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026