The Coq mailing list

[casteran AT labri.fr]

Hello,

  I am looking for any development in Coq allowing to work with ordinal
numbers.

Thanks in advance,

Pierre



----------------------------------------------------------------
This message was sent using IMP, the Internet Messaging Program.