No hot answers found
Only top voted, non community-wiki answers of a minimum length are eligible
Related Tags
proof-assistants × 65logic × 16
type-theory × 13
reference-request × 8
automated-theorem-proving × 8
proof-techniques × 7
coq × 7
functional-programming × 6
formal-languages × 4
compilers × 4
induction × 4
dependent-types × 4
algorithms × 3
correctness-proof × 3
mathematical-programming × 3
interactive-proof-systems × 3
np-complete × 2
terminology × 2
formal-grammars × 2
np × 2
recursion × 2
first-order-logic × 2
check-my-answer × 2
inductive-datatypes × 2
curry-howard × 2
