Did they give you a formal semantics for the language in which you implemented algorithms? Or did you merely “prove” things about informal descriptions of algorithms?
I still don't really have an answer to my question, though. What makes using a different language such a poor choice in this context?
Okay, now that is contemptible. And you didn't address my question: Were your proofs about actual programs, or merely about informal algorithm descriptions?
> What makes using a different language such a poor choice in this context?
The fact you would waste too much time teaching a second language at a sufficiently rigorous level to write proofs about programs written in it.