References

  1. Signorell Andri et mult. al. (2021): DescTools: Tools for Descriptive Statistics. Available at https://cran.r-project.org/package=DescTools. R package version 0.99.44.
  2. David Barker-Plummer, Jon Barwise & John Etchemendy (2011): Language, Proof and Logic, second edition. Center for the Study of Language and Information.
  3. Mordechai Ben-Ari (2012): Mathematical Logic for Computer Science. Springer, doi:10.1007/978-1-4471-4129-7.
  4. Yves Bertot & Pierre Castéran (2004): Interactive Theorem Proving and Program Development. Springer, Berlin, Heidelberg, doi:10.1007/978-3-662-07964-5.
  5. Alistair Cockburn (2005): Hexagonal architecture. Available at https://alistair.cockburn.us/hexagonal-architecture/. Blog article..
  6. Kees Doets & Jan van Eick (2012): The Haskell Road to Logic, Maths and Programming, second edition. College Publications.
  7. Christopher J. Ferguson (2009): An Effect Size Primer: A Guide for Clinicians and Researchers. Professional Psychology: Research and Practice 40, pp. 532–538, doi:10.1037/a0015808.
  8. Asta Halkjær From, Alexander Birch Jensen, Anders Schlichtkrull & Jørgen Villadsen (2019): Teaching a Formalized Logical Calculus. In: Pedro Quaresma, Walther Neuper & João Marcos: Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019, EPTCS 313, pp. 73–92, doi:10.4204/EPTCS.313.5.
  9. Asta Halkjær From, Jørgen Villadsen & Patrick Blackburn (2020): Isabelle/HOL as a Meta-Language for Teaching Logic. In: Pedro Quaresma, Walther Neuper & João Marcos: Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020, EPTCS 328, pp. 18–34, doi:10.4204/EPTCS.328.2.
  10. Asta Halkjær From, Anders Schlichtkrull & Jørgen Villadsen (2021): A Sequent Calculus for First-Order Logic Formalized in Isabelle/HOL. In: Stefania Monica & Federico Bergenti: Proceedings of the 36th Italian Conference on Computational Logic - CILC 2021, Parma, Italy, September 7-9, 2021, CEUR Workshop Proceedings 3002. CEUR-WS.org, pp. 107–121. Available at http://ceur-ws.org/Vol-3002/paper7.pdf.
  11. Jason Harlacher (2016): An educator's guide to questionnaire development (REL 2016-108). Technical Report. Washington, DC: U.S. Department of Education, Institute of Education Sciences, National Center for Education Evaluation and Regional Assistance, Regional Educational Laboratory Central.. Available at https://ies.ed.gov/ncee/edlabs/regions/central/resources/pemtoolkit/pdf/module-6/CE5.3.2-An-Educators-Guide-to-Questionnaire-Development.pdf.
  12. John Harrison (2009): Handbook of Practical Logic and Automated Reasoning. Cambridge University Press, doi:10.1017/CBO9780511576430.
  13. John Harrison, Josef Urban & Freek Wiedijk (2014): History of Interactive Theorem Proving. In: Jörg H. Siekmann: Computational Logic, Handbook of the History of Logic 9. North-Holland, pp. 135–214, doi:10.1016/B978-0-444-51624-4.50004-6. Available at https://www.sciencedirect.com/science/article/pii/B9780444516244500046.
  14. Frederik Krogsdal Jacobsen & Jørgen Villadsen (2022): Lessons of Teaching Formal Methods with Isabelle. Isabelle Workshop. Available at https://files.sketis.net/Isabelle_Workshop_2022/Isabelle_2022_paper_9.pdf.
  15. Frederik Krogsdal Jacobsen & Jørgen Villadsen (2022): On Exams with the Isabelle Proof Assistant. 11th International Workshop on Theorem proving components for Educational software. Available at https://www.uc.pt/en/congressos/thedu/ThEdu22. Extended Abstract.
  16. Anthony R. Artino Jr., Jeffrey S. La Rochelle, Kent J. Dezee & Hunter Gehlbach (2014): Developing questionnaires for educational research: AMEE Guide No. 87. Medical Teacher 36(6), pp. 463–474, doi:10.3109/0142159X.2014.889814.
  17. Rensis Likert (1932): A Technique for the Measurement of Attitudes. Archives of Psychology 140, pp. 1–55.
  18. Salvatore S. Mangiafico (2016): Summary and Analysis of Extension Program Evaluation in R, 1.19.10 edition. Rutgers Cooperative Extension. Available at https://rcompanion.org/handbook.
  19. Tobias Nipkow, Jasmin Blanchette, Manuel Eberl, Alejandro Gómez-Londoño, Peter Lammich, Christian Sternagel, Simon Wimmer & Bohua Zhan (2021): Functional Algorithms, Verified!. Available at https://functional-algorithms-verified.org/.
  20. Tobias Nipkow & Gerwin Klein (2014): Concrete Semantics. Springer, Cham, doi:10.1007/978-3-319-10542-0.
  21. Lawrence C. Paulson, Tobias Nipkow & Makarius Wenzel (2019): From LCF to Isabelle/HOL. Formal Aspects of Computing 31(6), pp. 675–698, doi:10.4204/EPTCS.118.4.
  22. Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cǎtǎlin Hriţcu, Vilhelm Sjöberg & Brent Yorgey (2017): Software Foundations. Electronic textbook. http://www.cis.upenn.edu/~bcpierce/sf.
  23. R Core Team (2022): R: A Language and Environment for Statistical Computing. R Foundation for Statistical Computing, Vienna, Austria. Available at https://www.R-project.org/.
  24. Anders Schlichtkrull, Jørgen Villadsen & Andreas Halkjær From (2018): Students' Proof Assistant (SPA). In: Pedro Quaresma & Walther Neuper: Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 July 2018, EPTCS 290, pp. 1–13, doi:10.4204/EPTCS.290.1.
  25. Aaron Stump (2016): Verified Functional Programming in Agda. Association for Computing Machinery and Morgan & Claypool, doi:10.1145/2841316.
  26. Jørgen Villadsen (2020): Tautology Checkers in Isabelle and Haskell. In: Francesco Calimeri, Simona Perri & Ester Zumpano: Proceedings of the 35th Italian Conference on Computational Logic - CILC 2020, Rende, Italy, October 13-15, 2020, CEUR Workshop Proceedings 2710. CEUR-WS.org, pp. 327–341. Available at http://ceur-ws.org/Vol-2710/paper21.pdf.
  27. Jørgen Villadsen, Andreas Halkjær From & Anders Schlichtkrull (2018): Natural Deduction Assistant (NaDeA). In: Pedro Quaresma & Walther Neuper: Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 July 2018, EPTCS 290, pp. 14–29, doi:10.4204/EPTCS.290.2.
  28. Jørgen Villadsen, Asta Halkjær From & Patrick Blackburn (2022): Teaching Intuitionistic and Classical Propositional Logic Using Isabelle. In: João Marcos, Walther Neuper & Pedro Quaresma: Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021, Electronic Proceedings in Theoretical Computer Science 354. Open Publishing Association, pp. 71–85, doi:10.4204/EPTCS.354.6.
  29. Jørgen Villadsen & Frederik Krogsdal Jacobsen (2021): Using Isabelle in Two Courses on Logic and Automated Reasoning. In: João F. Ferreira, Alexandra Mendes & Claudio Menghi: Formal Methods Teaching. Springer International Publishing, Cham, pp. 117–132, doi:10.1007/978-3-030-91550-6_9.
  30. Hadley Wickham, Jim Hester & Jennifer Bryan (2022): readr: Read Rectangular Text Data. https://readr.tidyverse.org, https://github.com/tidyverse/readr.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org