Skip to content

Li

Proof-db sweep reporter

Initializing search

li-langverse/lic-docs

Li

li-langverse/lic-docs

Home
Getting started
For agents
Guide
Guide
Ecosystem
Ecosystem
Language handbook
Language handbook
Game development
Game development
Compiler
Compiler
- Build pipeline
- LLVM ABI
- Why provable
- Architecture
- Verification
  Verification
Testing and security
Testing and 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

Proof-db sweep reporter¶

See scripts/proof-db-report.sh and proof-db/reporter.md.

Made with Material for MkDocs