Documentation

FormalConjectures.Util.Attributes.AttributesTest

source
theorem test :
1 + 1 = 2
source
theorem FLT :
FermatLastTheorem
source
theorem an_open_problem :
Transcendental ℝ (Real.pi + Real.exp 1)