Or is your browser showing a lot of junk instead of things that cash out to “it is provable that (a Gödel-numbered proof of A) implies B”?
Assuming the only operators you used were , “|-” and “->” it all came through.
Assuming the only operators you used were , “|-” and “->” it all came through.