天泣記

2018-12-11 (Tue)

#1 coq issue #9186 Conversion test raised an anomaly: "conversion was given ill-typed terms (FProd).": coq issue #9186