[isabelle] Relativity Theory and Isabelle




Hello,


Has anyone on this group know of a Theory in Isabelle worked out for General Relativity?


Thank you

CL





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.