cassanof

deepseek-7b-dafny

cassanof/deepseek-7b-dafny

deepseek-7b-dafny is a text generation model from cassanof. Use it when you need the model to write or continue text. It is set up for transformers.