estherney

8 ms·

1. 1.▲
   by estherney 2mo ago

   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. "every statement that can be derive
2. 2.▲
   by estherney 7mo ago

   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...
3. 3.▲
   by estherney 9mo ago

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