Snapkitty
/

lean-llm-starter

sovereign-compute

Model card Files Files and versions

lean-llm-starter / docker-compose.yml

SNAPKITTYWEST's picture

chore: convert from dataset to model repo

fc2d127 verified about 1 month ago

Raw History Blame Contribute Delete

247 Bytes

	services:
	granite-verifier:
	extends:
	file: ./infra/verification-loop/docker-compose.yml
	service: granite-verifier

	lean4-kernel:
	extends:
	file: ./infra/verification-loop/docker-compose.yml
	service: lean4-kernel