[isabelle] novice (first year undergrad) learning time
How long do you reckon it would take a novice first year undergraduate (no
significant programming or proving experience) to learn to use
Isabelle/Isar well enough to complete induction or case proofs on the
Fibonacci sequence? For example, homework questions like Prove that "fib(n
+ k + 1) = fib(k + 1) * fib(n + 1) + fib(k) * fib(n)"
I've found a few courses in Isabelle/HOL that seem to be aimed at the
postgraduate/researcher level, in either 8 * 90 mins or 4*90 mins sessions,
but I can't find much aimed at the first year level.
Sorry to ask a straw poll on the list, but there doesn't appear to be any
literature on this, and I'd like to get a rough idea.
This archive was generated by a fusion of
Pipermail (Mailman edition) and