this guy needs to formally verify his explanations. they are pretty weasly and convoluted. not sure anything of value in this
this guy needs to formally verify his explanations. they are pretty weasly and convoluted. not sure anything of value in this