Keyword: field tactic

• MapleMode: A Maple Mode for Coq
  David Delahaye, Micaela Mayero
• QArithSternBrocot: Binary Rational Numbers.
  Milad Niqui, Yves Bertot