Types for Proofs and Programs

Overview of attention for book

Cover of 'Types for Proofs and Programs'

Table of Contents

Attention for Chapter 3: Gröbner Bases in Type Theory

Altmetric Badge

Mentioned by

twitter: 6 X users

Readers on

mendeley: 1 Mendeley

So far, Altmetric has seen 6 X posts from 6 X users, with an upper bound of 13,924 followers.

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

Reply Repost Favourite

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

Reply Repost Favourite

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

Reply Repost Favourite

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

Reply Repost Favourite

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

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