fix #1514 (Broken doc in the theorem proving part of Idris2)
fix #1514 (Broken doc in the theorem proving part of Idris2)

mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm,mmhelloworld/idris-jvm