Often in research level math, you can't verify a proof with Lean because the formal libraries needed don't exist yet.
Our fix: Pseudo-Formalization (PF), a proof verification method with the modularity and precision of formal proofs, but the flexibility of natural language.
🇦🇫 Welcome to Afghanistan Tours
I am Ahmad Ghani Ahmadi,a professional local tour guide and private driver.
✔ Kabul city tours
✔ Bamyan, Herat & Mazar trips
✔ Airport pickup & drop
✔ Safe & comfortable travel
✔ English, Pashto & Dari speaking
📞 Contact:0775827071
plz share
correction: v1.0.2 is already on the app store, however v1.0.5 has not been tested on iOS yet, so it is expected to be out next week. We will also be adding agent forwarding in v1.0.6
Conduit v1.0.5 is out: hardware key support (YubiKey/FIDO2) over USB and NFC on Android, NFC on iOS. SSH and SFTP now both support security key auth.
Free, open source, no accounts, no subscriptions.
Coming to App Store and Play Store soon.