1 citations · 1 across the 9 of their papers we have counts for
1 paper · 1 filter
Xujun Che, Depeng Xu, Jian Xiang +1
The kernel of the Lean proof assistant checks that a proof establishes its statement. Whether the statement says what was intended is left to human reviewers. This is the old probl…