]> 2022-02-18T15:06:44+01:00 Beweren en bewijzen/de opzet/gereedschap/Coq 0 nl 2015-02-27T13:55:29Z 2457081.0801968 Beweren en bewijzen/de opzet/gereedschap/Coq 0 1 table 4 [[Comment for::Gebruiker:Beweren en bewijzen]] [[Academisch Jaar::2017-18]] Beweren en bewijzen/de opzet/gereedschap/Coq Coq 0 nl Coq