Quantum magnonics is an emerging research field, with great potential for applications in magnon based hybrid systems and quantum information processing. Quantum correlation, such as entanglement, is a central resource in many quantum information protocols that naturally comes about in any study toward quantum technologies. This applies also to quantum magnonics. Here, we investigate antiferromagnets in which sublattices with ferromagnetic interactions can have two different magnon modes, and we show how this may lead to experimentally detectable bipartite continuous variable magnon-magnon entanglement. The entanglement can be fully characterized via a single squeezing parameter, or, equivalently, entanglement parameter. The clear relation between the entanglement parameter and the Einstein, Podolsky, and Rosen (EPR) function of the ground state opens up for experimental observation of magnon-magnon continuous variable entanglement and EPR non-locality. We propose a practical experimental realization to detect the EPR function of the ground state, in a setting that relies on magnon-photon interaction in a microwave cavity.