What Should I Build?

A directory of what people actually want. Classified, clustered, ranked and updated daily

ML-powered assistant and integrations for proof assistants

Education · 1 mentions

#1992277454367674577

@TaliaRinger What are some tools that actually work? (aside from general purpose tools like "ask chatgpt to write the code) I've been pretty frustrated trying to get things to work but maybe I'm trying the wrong ones.

For any inquiries, contact info@quantumedge.sk