the-hir0
/

ILM-lean-prover

Model card Files Files and versions

ILM-lean-prover / README.md

the-hir0's picture

initial commit

1dfb2bf verified 10 months ago

|

history blame contribute delete

31 Bytes

license: apache-2.0