New answers tagged policy
12
Sidestepping in a theorem-proving challenge
A theorem-proving challenge is about proving a statement (= constructing a value of the given type) given in a specific host language (designed for theorem proving, most likely Lean or Coq).
One problem with this is that the host language may have various utilities that allow writing a "proof" that is not ...
Top 50 recent answers are included
Related Tags
policy × 232discussion × 230
answers × 72
code-golf × 35
defaults × 17
rules × 14
scoring × 10
faq × 10
asking-questions × 8
tags × 7
questions × 7
close-reasons × 6
duplicates × 5
challenge-quality × 5
chat × 4
new-users × 4
scope × 4
winning-criteria × 4
cops-and-robbers × 4
flags × 3
popularity-contest × 3
noncompeting × 3
specification × 3
contest-type × 3
deleted-answers × 3