@techreport{2003-Giero-ProofMizar,
  author		= "{Giero}, M. and {Wiedijk}, F.",
  title			= "{MMode, a Mizar Mode for the proof assistant Coq}",
  number		= "NIII--R0333",
  month			= "December",
  institution		= "Radboud University Nijmegen",
  organization		= "Radboud University Nijmegen",
  year			= "2003",
  code			= "icis.NIII-R0333",
  research_group	= "icis",
  class			= "Report"
}