[All Lists] [By Thread] [By Date] [Previous] [Next]
From: Dr. Stern Subject: What counts as proof? Date: 22 Kislev 5782
The point: proof type and proof acceptance are separate. Define the types. Leave acceptance to verifiers.
Thread:
[Previous] [Next]