Related Tags
isabelle-hol × 19isabelle × 13
isar × 4
type-theory × 2
forward-proof × 2
proof-assistant × 2
mathematics × 1
equality × 1
proof-search × 1
resources × 1
logical-frameworks × 1
algebraic-data-types × 1
meta-logical-framework × 1
type-class × 1
quantification × 1
classical-logic × 1
natural-deduction × 1