Re: [isabelle] Formalizations of Free Groups and Matrix Groups?



> Does the AFP also accept Isabelle/ZF submissions?

Yes, it does.

Tobias





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.