search

jesse-michael-han / lean-gptf

Interactive neural theorem proving in Lean
Apache License 2.0
118 stars 6 forks source link

OpenAI key #8

Open ayush1801 opened 3 years ago

ayush1801 commented 3 years ago

Hi! I applied for an OpenAI key for exploring the gpt-f tactic by filling the form mentioned in the repo last week. @jesse-michael-han Is there any further step necessary for accessing the key? Kindly advise. Thanks! - Ayush Agrawal

robinsonkwame commented 2 years ago

@ayush1801 It took me several months to receive my key.