Skip to content

Add syntax sugar for nested sigma-types #198

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #198

Annotations

2 warnings

Check Rzk formalizations

succeeded Apr 19, 2024 in 4s