Space: aevionai/proofos-receipt-chain
title: ProofOS Receipt Chain Demo
sdk: gradio
license: apache-2.0
short_description: Generate SHA-256 content-addressed proof obligation receipts
tags: lean4, formal-verification, proof-assistant, theorem-proving, ai-safety, cryptographic-receipts
Tags: gradio, lean4, formal-verification, proof-assistant, theorem-proving, ai-safety, cryptographic-receipts, region:us