Space: build-small-hackathon/QED
title: Q.E.D
sdk: gradio
license: mit
short_description: LLM-guided formal verification, kernel-certified proofs
tags: track:wood, sponsor:modal, achievement:offbrand, achievement:best-demo, gradio, lean4, formal-verification, agents, build-small-hackathon, llama.cpp
Tags: gradio, track:wood, sponsor:modal, achievement:offbrand, achievement:best-demo, lean4, formal-verification, agents, build-small-hackathon, llama.cpp, region:us