isabelle Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
18 | All Time | 5.6% unanswered |
Related Tags
isabelle × 18isabelle-hol × 4
hol × 2
locales × 2
proof-assistant × 2
isar × 2
lean × 1
coq × 1
mathematics × 1
dependent-type × 1
foundations × 1
total × 1
implementation × 1
lambda-calculus × 1
forward-proof × 1
backward-proof × 1
resources × 1
proof-search × 1
logical-frameworks × 1
type-class × 1
quantification × 1
proof-general × 1
standard-ml × 1
build × 1
meta-logical-framework × 1