Spaces:

RDS777
/

vortex-omega-final

Build error

App Files Files Community

vortex-omega-final / core /proof_system.py

RDS777's picture

Upload 17 files

52b0da0 verified about 2 months ago

History Blame Contribute Delete

48 Bytes

	class ProofSystem:
	def __init__(self): pass