PROVE News

NO

YES

NO

NO

NO

NO

Isabelle

Lean

HOL Light

Coq

PVS

Mizar

Metamath

nqthm/ACL2

NuPRL/MetaPRL

NO

No human-faced-scorpion locusts

No, death will still have an effect until 23-SEPT-2028

The mark will not appear before 23-SEPT-2028

No false-prophet will appear

No whore will appear

No Two Witnesses will appear

One or more or all of the negatory responses will be the case until and/or after 23-SEPT-2068, meaning nothing of the above will have happened before the two listed dates

No temple before 23-SEPT-2028

Yes temple before 23-SEPT-2028

The Two Witnesses will start blowing people on fire before 23-SEPT-2028

The mark will appear before 23-SEPT-2028

One or more or all of the affirmative responses except will occur before 23-SEPT-2068

The whure of Babylon is some other woman

Yes human-faced-scorpion locusts before 23-SEPT-2028

Yes, death with evade being effective at all, before 23-SEPT-2028

Elon Musk is the False Prophet

The new Pope Leo will be either the prophesied last-pope and/or the False Prophet

YES

YES

NO