Types for Proofs and Programs

Overview of attention for book

Overall attention for this book and its chapters

Altmetric Badge

Mentioned by

So far, Altmetric has seen 8 X posts from 8 X users, with an upper bound of 15,265 followers.

RT @yotsunva: Hilbert の基底定理示せる！ https://t.co/doafESrBGB

Hilbert の基底定理示せる！ https://t.co/doafESrBGB

http://t.co/iexdDeDPRk ヒルベルトの基底定理の構成的証明．こういうのを探していた．しかし，付録に出ているのはなぜか Coq ではなくて Agda だ．

http://t.co/iexdDeDPRk ヒルベルトの基底定理の構成的証明．こういうのを探していた．しかし，付録に出ているのはなぜか Coq ではなくて Agda だ．

This page shows the most recent X posts that mention this research output.

Click here to find out how to access more activity, including 4 additional X posts.