Cubical Agda formalization of Three equivalent ordinal notation systems

Dataset

Search results