| http://www.w3.org/ns/prov#value | - I am not an expert (I have played around with HOL a few times, but never fully formalized an interesting theorem), but my experience was that it is similar to writing up a technical proof after you have worked out in your head how to do it: most of the process is pretty directed and you are just filling in details, but you often have to pause at the start of a step to think about the best approach (which
|
