Skip to content

Add syntax sugar for nested sigma-types #199

Add syntax sugar for nested sigma-types

Add syntax sugar for nested sigma-types #199

Annotations

2 warnings

Check Rzk formalizations

succeeded Apr 26, 2024 in 4s