search

ExtensityAI / symbolicai

Compositional Differentiable Programming Library
986 stars 58 forks source link

Lean4 #74

Closed Xpitfire closed 2 days ago