247 followers
502 followers
なんと!!!
160 followers
読了。我ながらがんばった。 Interactive Theorem Proving and Program Development: Coq’Art: The Calculus of Inductive Constructions https://t.co/c5sVtUjmwb
461 followers
RT @keigoi: Coq’Art が千円ちょっとで買えるようです! https://t.co/I0jU3vGDVX https://t.co/fqZY0o28fE