FLUX
Named by 6 kept items in this workspace.
3 items name it under models, 2 under classification.technologies and 1 under frameworks and tools.
Search every workspace for FLUX. It matches the name as written, so it can find other things that share it.
The items that name it 6
Checks Forte as an ordinary library with no fork of the compiler; a machine-checked theorem backs every deterministic primitive signature, and a correspondence theorem transports metric preservation to the programs the checker accepts.
All technologies in this workspace.