Clef Programming Language
Documentation
Specification
Blog
CTRL K
Esc
AI Summary
×
Type to search across documentation, design docs, and blog posts
Fidelity Framework GitHub Repository
Safety
Proof-Aware Compilation Through Hypergraphs
August 8, 2025