We're announcing Mikan: a proof assistant for cubical type theory, forked from the Agda codebase

The most ugly trick in Rust language

Zstd still has unclear license status