testpipeline / README.md
John6666's picture
Upload 3 files
c0c0901 verified

A newer version of the Gradio SDK is available: 5.9.1

Upgrade
metadata
title: Demo Prover
emoji: 🐠
colorFrom: yellow
colorTo: yellow
sdk: gradio
sdk_version: 5.6.0
app_file: app.py
pinned: false
license: mit
short_description: nl -> fl