Zhengying (Mar 17 2022 at 09:01):
Has anyone used lean-gptf?
I'm having a hard time configuring the OpenAI API key and I'm not even sure whether it's working correctly... Can I just use the same API as that of GPT-3?
Riccardo Brasca (Mar 17 2022 at 09:13):
There is a stream dedicated to lean-gptf, you can ask there.
Riccardo Brasca (Mar 17 2022 at 09:14):
I can move you message there if you wish
Jason Rute (Mar 17 2022 at 12:40):
Last updated: Aug 03 2023 at 10:10 UTC