天泣記

2019-06-20 (Thu)

#1 Coq issue

'File pretyping/cases.ml, line 2145, characters 1-7: Assertion failed.' with Program Definition


[latest]


田中哲