AGENTRANK
SkyShannonProver/shannon-prover
LLM agents that write machine-checked cryptographic proofs in EasyCrypt (arXiv:2607.02847)
55
/ 100
Stars
37
Freshness
59
Issue health
50
Contributors
28
Dependents
0