Spaces:

AProver
/

aprover

Running

aprover / web /__init__.py

Deploy AProver demo

ab54eb4 verified about 2 months ago

80 Bytes

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