Skip to content
Owl

Owl proof assistant

Owl is a small experimental cubical type theory proof assistant written in Rust.
Example Guide