code/leanoar/__init__.py · Duoia/duotactic at main

duotactic full package: checkpoints, tokenizer, config, code, docs

32c0c6c verified 9 days ago

67 Bytes

	"""Minimal loader package for the released Lean 4 tactic model."""