Waterproof Editor: an educational environment for proof assistants and programming languages

Documenti analoghi

• Waterproof: Educational Software for Learning How to Write Mathematical Proofs
  di: Wemmenhove, Jelle, et al.
  Pubblicazione: (2022)
• Open Mathematical Tasks as a Didactic Response to Generative Artificial Intelligence in Post-AI Contexts
  di: Serrano, Felix De la Cruz
  Pubblicazione: (2026)
• Development of the Measure of Assessment Self-Efficacy (MASE) for Quizzes and Exams
  di: Riegel, Kaitlin, et al.
  Pubblicazione: (2025)
• Integrators at War: Mediating in AI-assisted Resort-to-Force Decisions
  di: Müller, Dennis, et al.
  Pubblicazione: (2025)
• Democratizing Signal Processing and Machine Learning: Math Learning Equity for Elementary and Middle School Students
  di: Vaswani, Namrata, et al.
  Pubblicazione: (2024)