Hugging Face model: beanapologist/mu-ov-cipher
Author: beanapologist
Created: 2026-04-25 00:45:47
Last modified: 2026-04-25 02:46:05
Pipeline: other
Library: custom
Likes: 0 | Downloads: 0
Tags: custom, formal-verification, lean4, eigenverse, coherence-function, uniqueness-theorem, oil-and-vinegar, post-quantum, GF-p, other, en, license:mit, region:us
Card metadata:
language: en
license: mit
library_name: custom
tags: formal-verification, lean4, eigenverse, coherence-function, uniqueness-theorem, oil-and-vinegar, post-quantum, GF-p
pipeline_tag: other