pi-autocontext-lean-verify CDN files

jsDelivr monthly hits badge
  1. pi-autocontext-lean-verify@0.1.19 /
  2. harness /
  3. fixtures /
  4. quad_pair_eq_pair_sum
...
expected_proof.lean 118 B
Theorem.template.lean 333 B

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