Spaces:

AProver
/

aprover

Running

aprover / web /__init__.py

Humaid Alqasimi

AProver Space — built from main@d852c29

4f0bd4e 4 months ago

80 Bytes

	"""AProver web chat: FastAPI front-end that lets users run AProver via chat."""