https://github.com/uds-psl/coq-library-undecidability
Revision 4115398f10c42a41833036f8c4500f24233cc9a7 authored by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC, committed by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC
1 parent 0235107
History
Tip revision: 4115398f10c42a41833036f8c4500f24233cc9a7 authored by Dominique Larchey-Wendling on 01 May 2021, 09:38:37 UTC
insist of coq-8.13
Tip revision: 4115398

back to top