Claim listing
SkyShannonProver/shannon-prover
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
Claim your listing to add a tagline, logo, and category. Verified maintainers get a Verified Publisher badge and priority placement on the AgentRank index.
Leave your email to claim this listing. GitHub verification coming soon.