Coq: Coq 8.5 beta 2 is out!: The second beta release of Coq 8.5 is available for testing. The 8.5 version brin... bit.ly/1Qk0BH4
0
0
0
0
0