sk Skill · Sounio-lang
sounio-epistemic-types
Work on Sounio epistemic computing: Knowledge/uncertainty/confidence/provenance, ontology bindings, and dependent epistemic subtyping/proofs; use when editing compiler/src/epistemic/, compiler/src/dependent/, or stdlib/epistemic/.
Open on skills.sh ↗read 2026-09-17
- installs 8w
- 0
- 30-day movement
- starts with the next reading
- Related entries
- 1
- Connections
- 0
Lean
- Host repository
- Sounio-lang/sounio
- Host stars
- 6
- Host language
- Lean