at
.
logic
.
gapt
.
examples
induction
package
induction
Visibility
Public
All
Value Members
object
factorialmodth
extends
Script
object
findsip
extends
Script
object
lists
extends
TacticsProof
object
numbers
extends
TacticsProof
object
prototype
extends
Script
Ungrouped