implisolid icon indicating copy to clipboard operation
implisolid copied to clipboard

Published 20 hours ago • verified publisher icon sohale

Lean4 symbolic system (along with SymPy system)

Open sohale opened this issue 1 year ago • 0 comments

Also see https://github.com/sohale/implisolid/issues/7

sohale avatar May 05 '24 21:05 sohale