Websites linking back to coq.inria.fr
13 websites are linking back to coq.inria.fr in their content.
Total results: 13
Domains on this page: 13
Results:
Zhen Zhanghttp://portalrankings.com/info/zhenzhang.me
- Updated On (Date): 2016-Feb-18
- Expiration time: 2019-Jun-18
- Website Registered On (Date): 2015-Jun-18
Proof Generalhttp://portalrankings.com/info/proofgeneral.github.io
A generic Emacs interface for proof assistants.
Homotopy Type Theoryhttp://portalrankings.com/info/homotopytypetheory.org
This site serves to collect and disseminate research, resources, and tools for the investigation of homotopy type theory, and hosts a blog for those involved in its study. Homotopy Type Theory refers to a new interpretation of Martin-Löf's system of intensional, constructive type theory into abstract homotopy theory. Propositional equality is interpreted as homotopy and…
- Updated On (Date): 2016-Dec-23
- Expiration time: 2018-Mar-13
- Website Registered On (Date): 2011-Mar-13
Functional Geekeryhttp://portalrankings.com/info/functionalgeekery.com
- Google+ User ID: +CarlHewitt-StandardIoT
- Updated On (Date): 2016-Jun-08
- Expiration time: 2018-Oct-25
- Website Registered On (Date): 2013-Oct-25
My Webloghttp://portalrankings.com/info/mukeshiiitm.wordpress.com
Blog about programming and math
- Google Analytics code: 52447-2
Jean-Marie Madiothttp://portalrankings.com/info/madiot.fr
- Google Analytics code: 17038604-1
- Updated On (Date): 2017-Dec-18
- Expiration time: 2018-Nov-18
- Website Registered On (Date): 2010-Nov-18
GF - Grammatical Frameworkhttp://portalrankings.com/info/grammaticalframework.org
- Google Analytics code: 7811807-3
- Updated On (Date): 2017-Nov-24
- Expiration time: 2018-Dec-09
- Website Registered On (Date): 2009-Dec-09
Tack, Hunt, Poolhttp://portalrankings.com/info/raywang.tech
Where I keep all the stuff that doesn't fit in my head
- Google Analytics code: 104530975-1
Edukerahttp://portalrankings.com/info/edukera.com
- Google+ User ID: +Edukera
- Google Analytics code: 39196841-1
- Updated On (Date): 2017-Nov-03
- Expiration time: 2018-Nov-02
- Website Registered On (Date): 2011-Nov-02
Guillaume Clarethttp://portalrankings.com/info/clarus.me
Homepage
- Google Analytics code: 45170128-1
- Updated On (Date): 2017-Apr-08
- Expiration time: 2022-Apr-14
- Website Registered On (Date): 2010-Apr-14
JSCert: Certified JavaScripthttp://portalrankings.com/info/jscert.org
- Updated On (Date): 2017-Jan-06
- Expiration time: 2017-Jun-21
- Website Registered On (Date): 2012-Jun-21
Gareth's Homepagehttp://portalrankings.com/info/totherme.org
- Updated On (Date): 2017-Jan-07
- Expiration time: 2018-Jan-23
- Website Registered On (Date): 2003-Jan-23