{"version":3,"file":"theorem-prover.d.ts","sourceRoot":"","sources":["../../src/lean-agentic/theorem-prover.ts"],"names":[],"mappings":""}