The interactive Isabelle proof experience, in your editor. Live proof state, Sledgehammer, build diagnostics, and theory tooling — backed by a real Isabelle/PIDE engine.

Document translation is a cloud-based feature of the Azure Translator service. You can use the Document translation API to asynchronously translate whole documents in supported languages and various ...