Space: viridis-research/viridis-canon-explorer
title: Viridis Canon Explorer
sdk: static
license: cc-by-4.0
short_description: Machine-checked Lean research, assumptions visible.
Tags: static, region:us