Dopiero dzisiaj się dowiedziałem, że język Coq już się nie nazywa Coq tylko Rocq bo hehe cock. Żałosne.

#coq #rocq #programowanie #jezykiprogramowania #programista15k