michaelsproul/honours-thesis

Assess Coq proof quality according to eval framework

Closed this issue · 0 comments

michaelsproul commented
Assess Coq proof quality according to eval framework