Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
typeof
/
morph-prover-delta-lora
like
0
Text Generation
Safetensors
English
math
lean
License:
apache-2.0
Model card
Files
Files and versions
Community
main
morph-prover-delta-lora
Commit History
Create README.md
c097bd7
verified
typeof
commited on
May 25
init
457552f
typeof
commited on
Nov 23, 2023
init
3bbd596
typeof
commited on
Nov 23, 2023
initial commit
e4bbe0b
typeof
commited on
Nov 23, 2023