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

Published 20 hours ago • verified publisher icon iehality

docs(Modal): Add doc strings

Open SnO2WMaN opened this issue 10 months ago • 0 comments

close #36

  • [ ] depends on: #39

SnO2WMaN avatar Apr 13 '24 14:04 SnO2WMaN