Cubical Agda formalization of Three equivalent ordinal notation systems

Dataset

Filter
Finished

Search results