On Mon, Jun 26, 2006 at 14:26:16 +0200, George Shapovalov wrote: > sci-mathematics: 34 > Ok size. There were calls to split it into symbolic and numeric, also -proof > was suggested (but I understand the packages for that one are not in the tree > yet). 3-tier categories might be nice here :) (as in sci-math-symbolic, > sci-math-numeric..). devs: > plasmaroo, agriffis?, mattam, cryos, ribosome?, markusle, spock, phosphan
Sign me up for sci-proof (even if it is only a subset of sci-mathematics). As far as I know, there is only coq, but I am working on adding agda, and we'll see from there... Regards, /Alexandre -- Hi, I'm a .signature virus! Please copy me in your ~/.signature.
pgpBIxU1chasg.pgp
Description: PGP signature
