Re:Towards a New SymPy
by c-cube on Saturday September 09, 2023 @08:23AM
(#37444492)
There's a workshop exploring that: http://www.sc-square.org/CSA/welcome.html . They're trying to bridge cas and smt.
[ Parent
| on HN ]
There are no comments on this comment yet.