lean4-logic icon indicating copy to clipboard operation
lean4-logic copied to clipboard

Published 20 hours ago • verified publisher icon iehality

feat(Modal): Boxdot Conjecture

Open SnO2WMaN opened this issue 10 months ago • 0 comments

詳細: https://scrapbox.io/sno2wman/Boxdot%E7%89%B9%E6%80%A7

close #41

SnO2WMaN avatar Apr 15 '24 07:04 SnO2WMaN