search

Dahoas / EAI4Math

5 stars 1 forks source link

Design the library synthesis framework #2

Open Dahoas opened 2 weeks ago

Dahoas commented 2 weeks ago

I'll be working primarily on this issue

giove91 commented 1 week ago

I'm interested!