CIRCLE WITH A DOT

Your browser does not seem to support JavaScript. As a result, your viewing experience will be diminished, and you have been placed in read-only mode.

Please download a browser that supports JavaScript, or enable it if it's disabled (i.e. NoScript).

Y

yinyangmills@mathstodon.xyz

@yinyangmills@mathstodon.xyz

0

Posts

Recent Best Controversial

I don't want to formalize any of my work on mathematics.

Y yinyangmills@mathstodon.xyz

@markusde @JacquesC2 @johncarlosbaez @dougmerritt @MartinEscardo @andrejbauer @pigworker Ok, so what is better (ie worse) than Lean?

Uncategorized