{"owner":"lukaszcz","github":"https://github.com/lukaszcz","claimed":false,"inventory":[],"indexed":[{"repo":"lukaszcz/coqhammer","github":"https://github.com/lukaszcz/coqhammer","description":"CoqHammer: An Automated Reasoning Hammer Tool for Rocq - Proof Automation for Dependent Type Theory","language":"OCaml","stars":244,"topics":["coq","hammer","automation","proof-search","theorem-prover","verification","dependent-types","rocq","rocq-prover"],"license":null,"category":"workflow-automation"}],"how_to_buy":"GET /r/lukaszcz/<repo> (Accept: application/json) for any listed repo here: tree, README, price and the checkout to pay (x402; rehearse first at its test twin, simulated money). Repos under 'indexed' are free: clone them from GitHub."}