Skip to content
Li
proof-db-lean-bridge release note — see PR body
Initializing search
li-langverse/lic-docs
Li
li-langverse/lic-docs
Home
Getting started
For agents
Guide
Guide
Hello world
Install tools
Fast math & parallelism
Math-first HPC examples
Examples gallery
Creating packages
Package layout
Ecosystem
Ecosystem
Overview
Canonical docs (roadmap repo)
Agent-kit adoption
Governance
Strict by default
Engineering standards
Vision and roadmap
Agent coordination
Language evolution
Upstream notifications
Official packages
HTTPd prerequisites
Language handbook
Language handbook
li.toml manifest
Overview
Philosophy
Naming conventions
Import style
Types and data
Scalar precision & binary
Precision-polymorphic APIs
Numerics
SIMD and parallel
Decorators
Linear algebra
Contracts and proofs
Control flow and functions
Collections and generics
Effects and I/O
Game development
Game development
World Studio vision
Program tracker
Competitive landscape
RFC index
Physics for games
Compiler
Compiler
Build pipeline
LLVM ABI
Why provable
Architecture
Verification
Verification
Overview
Provability gaps (today)
Proof corpus roadmap
Testing and security
Testing and security
All tests
Security audits
Web server security
Benchmarks
Reference
Reference
Language design (spec)
Trusted axioms
Contributing
Contributing
Documentation style
Project
Project
Master plan
Phase 7 — Native HPC
Benchmarks plan
Phase plans
Phase plans
Phase 0 — Bootstrap
Phase 1 — Lexer/Parser
Phase 2 — Typechecker
Phase 3 — MIR/Codegen
Phase 4 — Runtime
Phase 5 — Tetris
Phase 6 — Self-host
proof-db-lean-bridge release note — see PR body
¶
Back to top