Bei Lean
I started an auto-formalization attempt of our 2010 paper Binomial edge ideals and conditional independence statements on Github. Theorem 1.1. is already formalized in Lean.
I started an auto-formalization attempt of our 2010 paper Binomial edge ideals and conditional independence statements on Github. Theorem 1.1. is already formalized in Lean.