Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving-Reference-Cited by-同舟云学术

Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving

Published:2023-08-04 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 14th Asia-Pacific Symposium on Internetware
language:
Short-container-title:

Author:

Xu Hao¹^ORCID,Zhao Yongwang¹^ORCID

Affiliation:

1. School of Cyber Science and Technology, Zhejiang University, China

Funder

Zhejiang Science and Technology Plan Project

National Major Science and Technology Plan Project

the Natural Science Foundation of China

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3609437.3609460

Reference39 articles.

1. Agda. 2023 . The Agda Wiki . Retrieved March 11, 2023 from https://wiki.portal.chalmers.se/agda/pmwiki.php Agda. 2023. The Agda Wiki. Retrieved March 11, 2023 from https://wiki.portal.chalmers.se/agda/pmwiki.php

2. jsCoq: Towards Hybrid Theorem Proving Interfaces

3. Holger Blasum Sergey Tverdyshev Burkhart Wolff Yakoub Nemouchi Cyril Proch Bruno Langenstein Werner Stephan Abderrahmane Feliachi Freek Verbeek Oto Havle and Julien Schmaltz. 2015. Used Formal Methods. Holger Blasum Sergey Tverdyshev Burkhart Wolff Yakoub Nemouchi Cyril Proch Bruno Langenstein Werner Stephan Abderrahmane Feliachi Freek Verbeek Oto Havle and Julien Schmaltz. 2015. Used Formal Methods.

4. Ingo Blechschmidt . 2023 . Agdapad . Retrieved March 11, 2023 from https://agdapad.quasicoherent.io/ Ingo Blechschmidt. 2023. Agdapad. Retrieved March 11, 2023 from https://agdapad.quasicoherent.io/

5. CodeSandbox B.V.2023. CodeSandbox. Retrieved April 15 2023 from https://codesandbox.io/ CodeSandbox B.V.2023. CodeSandbox. Retrieved April 15 2023 from https://codesandbox.io/

Cited by 1 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Remote Verification System for Mizar Integrated with Emwiki;Lecture Notes in Computer Science;2024