Questions tagged [education]

Similar to resources: this tag is used to ask for knowledge on a specific subject.

Filter by
Sorted by
Tagged with
5 votes
1 answer

Is there an easy-to-learn GUI of proof assistants for teenagers in maths education?

I'm a high school sophomore and I have been interested in Interactive Theorem Proving for a year or two. I found it extremely hard for my peers (lack of knowledge in mathematical logic, type theories ...
Chesium's user avatar
  • 51
18 votes
2 answers

Has there been any attempt at a tutorial that doesn't start with natural numbers?

The most well-known tutorials/learning materials, including Book 1, Chapter 2 of Software Foundations for Coq and the Natural Number Game for Lean, use natural numbers to introduce induction. But ...
Bubbler's user avatar
  • 674