Assertion list for term "programmed in the coq proof assistant".
Results from Ascent++: 1
compiler → ReceivesAction → programmed in the coq proof assistant 0.25