pi-autocontext-lean-verify CDN files
- pi-autocontext-lean-verify@0.1.19 /
- harness
| ... | |
| fixtures | |
| playbooks | |
| benchmark_manifest.json | 26.61 KB |
| build_mathlib_index.py | 10.77 KB |
| direct_pi_prove.py | 10.32 KB |
| experiment_common.py | 16.57 KB |
| extract_candidate_proof.py | 3.09 KB |
| mathlib_retrieval.py | 6.04 KB |
| process_utils.py | 7.08 KB |
| prove_with_autocontext.py | 11.69 KB |
| run_attribution_benchmark.py | 16.11 KB |
| run_direct_baseline_benchmark.py | 8.15 KB |
| run_playbook_transfer.py | 56.4 KB |
| run_proof_transfer_benchmark.py | 14.08 KB |
| update_results_index.py | 12.52 KB |
| verify_lean_proof.py | 5.25 KB |
Free Open Source CDN for pi-autocontext-lean-verify
Looking for a nice landing page for your package? https://www.jsdelivr.com/package/npm/pi-autocontext-lean-verify