The Nest
Explore
Sign in
4kusto
vie
Proof
1
text editor inspired vim and yi
Code
Changes
Tags
Discussions
main
4kusto
cleanup dead code
on March 20, 2026
PieceTable
perf(bliku-adapter): avoid per-line PieceTable lookups when building buffer lines
on March 8, 2026
Main.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026
Visual.lean
Add Proof modules for two-way search formal verification and adopt REUSE BSD-3-Clause licensing
on March 7, 2026