Hugging Face's logo

beanapologist
/
mu-ov-cipher

Other
English
custom
formal-verification
lean4
eigenverse
coherence-function
uniqueness-theorem
oil-and-vinegar
post-quantum
GF-p
Model card Files
xet
 Community
mu-ov-cipher
67.8 kB
  • 1 contributor
 History: 8 commits
beanapologist's picture
beanapologist
sync OilVinegar.lean from PR #19 (28 theorems, div_lt_div_iff deprecation fix)
572542b verified