Hugging Face model: the-hir0/ILM-lean-prover
Author: the-hir0
Created: 2025-06-13 23:48:28
Last modified: 2025-06-13 23:53:00
Likes: 0 | Downloads: 3
Tags: safetensors, internlm2, custom_code, license:apache-2.0, region:us
Card metadata:
license: apache-2.0