Space: beanapologist/mu-ov-cipher
title: μ-OV Cipher
sdk: gradio
license: mit
short_description: Companion to OilVinegar.lean — uniqueness of μ
tags: formal-verification, lean4, eigenverse, coherence-function, uniqueness-theorem
Tags: gradio, formal-verification, lean4, eigenverse, coherence-function, uniqueness-theorem, region:us