reasonwang/deepseek-prover-isar
Text Generation
•
Updated
•
7
minilang
-
-
reasonwang/deepseek-prover-isar-SH
Text Generation • Updated • 12 -
reasonwang/deepseek-prover-minilang
Text Generation • Updated • 18 -
reasonwang/deepseek-prover-minilang-no-SH
Text Generation • Updated • 7 -
reasonwang/deepseek-prover-minilang-after_elim_pronouns_connectives
Text Generation • Updated -
reasonwang/deepseek-prover-minilang-before_elim_pronouns_connectives
Text Generation • Updated -
reasonwang/deepseek-prover-minilang-before_split_proof
Text Generation • Updated -
reasonwang/deepseek-prover-minilang-after_split_proof
Text Generation • Updated