[All Lists] [By Thread] [By Date] [Previous] [Next]


From: R. Halevi
Subject: What counts as proof?
Date: 20 Kislev 5782


I am not familiar with this ACME. What is it, and why is it relevant?

—Dov Halevi


Thread:

[Previous] [Next]


DEP Discussion Archives
https://dep-specs.org/