first-order-logic Questions
0 | Last 7 Days | 0% unanswered |
2 | Last 30 Days | 0% unanswered |
9 | All Time | 0% unanswered |
Related Tags
first-order-logic × 9lean × 1
implementation × 1
foundations × 1
higher-order-logic × 1
metatheory × 1
set-theory × 1
substitution × 1
metamath × 1
metaprogramming × 1
acl2 × 1
z3 × 1
recursion × 1