Comment Comment by bodhiandpysics1 Nope... it depends on the language you use to write the proof. Agda proofs for instance are in R. parent bodhiandpysics1 4 years ago
