Viewing profile — estherney

We want Lean4 (or any other deduction system that we use, for that matter) to be correct , i.e. "what is a true statement" and "what is a derivable statement" should be the same. "…

German bank Comdirect / Commerzbank did this as well, whitelisting GrapheneOS signing keys for their 2FA app. https://github.com/PrivSec-dev/banking-apps-compat-report/is...

(Also, the S8 is usually quicker anyway...unless you somehow ended up at Laim, Moosach or Feldmoching.)