2 ms·
I read Code of Conduct abbreviated as "see-oh-see." This is also the name of the logic that underpins Coq, the Calculus of Constructions, which I read the same
by taliaringer 6y ago
I read Code of Conduct abbreviated as "see-oh-see." This is also the name of the logic that underpins Coq, the Calculus of Constructions, which I read the same way.