the-omega-institute/newmath

BEDC: Binary Emission Discovery Calculus (mathlib-free Lean 4 + LaTeX paper)

语言：TeX · GitHub 星标：13 · Fork：1

话题：formal-verification · lean4 · math

在 GitHub 上查看原仓库