Zulip Chat Archive

Stream: general

Topic: gptf


Zhengying (Mar 17 2022 at 09:01):

Has anyone used lean-gptf?
https://github.com/jesse-michael-han/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):

#lean-gptf


Last updated: Dec 20 2023 at 11:08 UTC