cubical icon indicating copy to clipboard operation
cubical copied to clipboard

Published 20 hours ago • verified publisher icon agda

Self contained version of the new Brunerie number

Open mortberg opened this issue 2 years ago • 1 comments

This should probably not be merged, but I figured that it's easier to discuss it if we have a PR

mortberg avatar Jun 30 '22 20:06 mortberg

@aljungstrom @ecavallo Can we golf the definition some more?

mortberg avatar Jun 30 '22 20:06 mortberg