Q.E.D: likes over time

build-small-hackathon/QED is a gradio Space on the Hugging Face Hub. It has 7 likes, 0 in the last 7 days and 0 in the last 30, and ranks #10,603 among Spaces by likes.

LLM-guided formal verification, kernel-certified proofs

Open build-small-hackathon/QED on Hugging Face

Sister project: Paper Pulse, the upvote history of every Hugging Face Daily Paper.