programming-languages Questions
0 | Last 7 Days | 0% unanswered |
0 | Last 30 Days | 0% unanswered |
12 | All Time | 8.3% unanswered |
Related Tags
programming-languages × 12type-theory × 3
formal-languages × 3
lean4 × 2
implementation × 2
proof-assistant × 2
soft-question × 2
abstract-syntax-tree × 2
applications × 1
coq × 1
dependent-type × 1
recommendations × 1
design × 1
lambda-calculus × 1
software-application × 1
automated × 1
software-request × 1
oop × 1
automated-theorem-proving × 1
interface × 1
graphs × 1