Skip to content

v1.0.0
Compare
Choose a tag to compare
@madvorak madvorak released this 19 Jan 14:27
· 384 commits to main since this release
v1.0.0
c7e3bca

The repo is in a good shape now. Lean+Std+Mathlib are almost the newest and theorem ValuedCSP.CanExpressMaxCut.forbids_commutativeFractionalPolymorphism has been finished and polished.

Assets 2
Loading