KomeijiForce
/

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

Text Generation

text-generation-inference

Inference Endpoints

Model card Files Files and versions Community

llama-2-7b-propositional-logic-prover / README.md

KomeijiForce's picture

initial commit

2c57415 verified 5 months ago

|

history blame contribute delete

24 Bytes

	---
	license: mit
	---