List archive

• 16/02/05
  • [ssreflect] Running computations inside Coq, Felipe Cerqueira
• 16/02/06
  • Re: [ssreflect] Running computations inside Coq, Emilio Jesús Gallego Arias
  • Re: [ssreflect] Running computations inside Coq, Felipe Cerqueira
  • Re: [ssreflect] Running computations inside Coq, Laurent Thery
  • Re: [ssreflect] Running computations inside Coq, Emilio Jesús Gallego Arias
• 16/02/10
  • Re: [ssreflect] Running computations inside Coq, Ralf Jung
  • Re: [ssreflect] Running computations inside Coq, Enrico Tassi
• 16/02/11
  • [ssreflect] Choice function in Set, Florent Hivert
  • RE: [ssreflect] Choice function in Set, Georges Gonthier
  • Re: [ssreflect] Choice function in Set, Florent Hivert
  • [ssreflect] Coq computing with sets..., Florent Hivert
• 16/02/12
  • Re: [ssreflect] trivIset and intersecting sets..., Florent Hivert
  • Re: [ssreflect] trivIset and intersecting sets..., Beta Ziliani
  • Re: [ssreflect] Coq computing with sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] trivIset and intersecting sets..., Florent Hivert
  • [ssreflect] Scopes and rewrite patterns, Ralf Jung
  • Re: [ssreflect] Scopes and rewrite patterns, Enrico Tassi
  • Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] trivIset and intersecting sets..., Emilio Jesús Gallego Arias
  • Re: [ssreflect] Scopes and rewrite patterns, Ralf Jung
• 16/02/15
  • RE: [ssreflect] Coq computing with sets..., Georges Gonthier
  • Re: [ssreflect] Coq computing with sets..., Florent Hivert
• 16/02/16
  • [ssreflect] ssreflect and proof general, Emilio Jesús Gallego Arias
  • Re: [ssreflect] Coq computing with sets..., Emilio Jesús Gallego Arias
  • [ssreflect] The 8th Coq Workshop - 1st CFP, Nicolas Magaud
• 16/02/18
  • [ssreflect] ssreflect and omega, François Pottier
  • [ssreflect] Rewriting with inequalities?, François Pottier

Archive powered by MHonArc 2.6.18.