![](https://www.pdfsearch.io/img/9f663db65a17c1d6971d6e09f56a6e61.jpg)
| Document Date: 2005-08-08 21:51:44 Open Document File Size: 235,82 KBShare Result on Facebook
Facility Bar Theorem / / IndustryTerm machinery / / Person Thierry Coquand / Jeremy Avigad / Solomon Feferman / Brouwer / John W. Dawson Jr. / / ProgrammingLanguage L / /
SocialTag |