at
.
logic
.
gapt
.
examples
prime
package
prime
Content Hierarchy
PrimeDefinitions
prime
euclid
euclid3
prime3
Visibility
Public
All
Type Members
trait
PrimeDefinitions
extends
TacticsProof
case class
euclid
(
k:
Int
)
extends
TacticsProof
with
PrimeDefinitions
with
Product
with
Serializable
case class
prime
(
k:
Int
)
extends
TacticsProof
with
PrimeDefinitions
with
Product
with
Serializable
Value Members
object
euclid3
extends
euclid
object
prime3
extends
prime
Ungrouped