4 ms·
Completely agree, this piece from another comment reads like it was taken straight out of Twitch chat: "From Coq Require Import List Omega"
by vultour 7y ago
Completely agree, this piece from another comment reads like it was taken straight out of Twitch chat: "From Coq Require Import List Omega"