I like to say 'semiformal' of arguments meant for humans which could also be turned into a formal argument without calling on too much cleverness. (That's of co

I like to say 'semiformal' of arguments meant for humans which could also be turned into a formal argument without calling on too much cleverness. (That's of course a matter of opinion or judgement.) Like pseudocode for programs.