KomeijiForce

llama-2-7b-propositional-logic-prover

KomeijiForce/llama-2-7b-propositional-logic-prover

llama-2-7b-propositional-logic-prover is a text generation model from KomeijiForce. Use it when you need the model to write or continue text. It is set up for transformers. The card lists the license as mit.