APA (7th ed.) Citation

Lund, S. T., & Villadsen, J. (2024, April 8). Teaching Higher-Order Logic Using Isabelle. arXiv.org. https://doi.org/10.48550/arxiv.2404.05458

Chicago Style (17th ed.) Citation

Lund, Simon Tobias, and Jørgen Villadsen. "Teaching Higher-Order Logic Using Isabelle." ArXiv.org 8 Apr. 2024. https://doi.org/10.48550/arxiv.2404.05458.

MLA (9th ed.) Citation

Lund, Simon Tobias, and Jørgen Villadsen. "Teaching Higher-Order Logic Using Isabelle." ArXiv.org, 8 Apr. 2024, https://doi.org/10.48550/arxiv.2404.05458.