The Nest
Explore
Sign in
finegeometer
agda-emulator
0
Code
Changes
Tags
Discussions
Created by on May 2, 2022
YLSVT5NCE7K23L5KXTXIDMUL4PNUU27PWRMRKOVGNNXSB6FDAF7AC
In channels
main
Change contents
Root addition: YLSVT5NCE7K23L5KXTXIDMUL4PNUU27PWRMRKOVGNNXSB6FDAF7AC