Pages that link to "Item:Q514557"

The following pages link to Proof verification and proof discovery for relativity (Q514557):

Displaying 2 items.

• Investigations of isotropy and homogeneity of spacetime in first-order logic (Q2159931) (← links)
• Using Isabelle/HOL to verify first-order relativity theory (Q2351148) (← links)