c-corn  

Messages by Date

• 2014/05/21 Re: [C-CoRN] Error during compilation of the c-corn master library Gyesik Lee
• 2014/05/21 Re: [C-CoRN] Error during compilation of the c-corn master library Bas Spitters
• 2014/05/19 Re: [C-CoRN] Error during compilation of the c-corn master library Bas Spitters
• 2014/05/18 [C-CoRN] Error during compilation of the c-corn master library Gyesik Lee
• 2014/04/29 Re: [C-CoRN] Question about the state of the art Bas Spitters
• 2014/04/29 [C-CoRN] Question about the state of the art Gyesik Lee
• 2012/08/03 Re: [C-CoRN] Compiling on Coq 8.3pl4 Bas Spitters
• 2012/07/31 [C-CoRN] Compiling on Coq 8.3pl4 Paul Snively
• 2011/06/06 Re: [C-CoRN] [Coq-contribs-commits] r1485 - in trunk/Nijmegen/CoRN Lionel Elie Mamane
• 2011/06/06 Re: [C-CoRN] [Coq-contribs-commits] r1485 - in trunk/Nijmegen/CoRN Bas Spitters
• 2011/06/06 Re: [C-CoRN] [Coq-contribs-commits] r1485 - in trunk/Nijmegen/CoRN Lionel Elie Mamane
• 2011/02/11 [C-CoRN] SSReflect + C-CoRN Ben Moseley
• 2009/09/21 [C-CoRN] corn and ssreflect Bas Spitters
• 2009/03/02 [C-CoRN] Re: C-CoRN and cyclic groups roconnor
• 2009/02/16 [C-CoRN] Re: Leibnitz's Series for Pi (Was: 100 theorems in Coq) Freek Wiedijk
• 2009/02/13 [C-CoRN] Leibnitz's Series for Pi (Was: 100 theorems in Coq) roconnor
• 2008/10/01 Re: [C-CoRN] CAlgebras stub. roconnor
• 2008/09/25 Re: [C-CoRN] hints for ordered fields Luís Cruz-Filipe
• 2008/09/23 [C-CoRN] CAlgebras stub. roconnor
• 2008/09/23 [C-CoRN] hints for ordered fields roconnor
• 2008/09/22 [C-CoRN] Mistake found in Lemma cpoly_C_. roconnor
• 2008/09/19 [C-CoRN] Polynomials as Modules roconnor
• 2008/09/19 [C-CoRN] Cron <lionelm@harif> cd ~/CoRN/svn-sync/CoRN && git svn fetch && git svn -Rsvn-8.2 fetch && git push public 2>&1 | egrep -v '^(Everything up-to-date)$' Cron Daemon
• 2008/09/18 [C-CoRN] Cron <lionelm@harif> cd ~/CoRN/svn-sync/CoRN && git svn fetch && git svn -Rsvn-8.2 fetch && git push public 2>&1 | egrep -v '^(Everything up-to-date)$' Cron Daemon
• 2008/09/16 Re: [C-CoRN] derivatives of polynomials Luís Cruz-Filipe
• 2008/09/15 [C-CoRN] derivatives of polynomials roconnor
• 2008/09/04 Re: [C-CoRN] changing version control to git roconnor
• 2008/07/23 [C-CoRN] changing version control to git roconnor